Michael Angerman bb6335830a Categorification: move Path commands out of the default category (#9937) ...

Path commands were incorrectly located in the default category...

This PR moves all of the *Path* commands into their own Category called
*Path*

2023-08-07 16:03:23 +12:00

..

basename.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

dirname.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

exists.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

expand.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

join.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

mod.rs

Refactor path commands (#9687)

2023-07-15 00:04:22 +03:00

parse.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

path_.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

relative_to.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

split.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00

type.rs

Categorification: move Path commands out of the default category (#9937)

2023-08-07 16:03:23 +12:00