Micah 48bb760739 Make the name field in projects optional (#870) ...

Closes #858.

If a project is named `default.project.json`, it acts as an `init` file
and gains the name of the folder it's inside of. If it is named
something other than `default.project.json`, it gains the name of the
file with `.project.json` trimmed off. So e.g. `foo.project.json`
becomes `foo`.

2024-02-20 17:25:57 -08:00

..

src/third-level

Make the name field in projects optional (#870)

2024-02-20 17:25:57 -08:00

default.project.json

Make the name field in projects optional (#870)

2024-02-20 17:25:57 -08:00