9f2b737715
This change makes workspace file naming a little more consistent with respect to Mufile naming. Instead of having a .mu/ directory, under which a workspace.yaml and/or a stacks directory might exist, we now have a Muspace.yaml (or .json) file, and a .Mudeps/ directory. This has nicer symmetric with respect to Mu.yaml files. |
||
|---|---|---|
| .. | ||
| binder | ||
| compiler | ||
| Muspace.yaml | ||