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 |