Separate directories besides source root c into separate projects #12
Description
The source root in subdirectory c should be the root of this repository. The paper, website and webserver artefacts are separate projects, maybe obsolete.
{{ message }}