mirror of
https://github.com/ChristianLight/tutor.git
synced 2025-01-07 07:54:03 +00:00
0a3812cf4f
"env" now only generates the environment, and depends only on config.json, which is run only when necessary. There exists only one "make configure" command, which force-runs config.json and builds the env. |
||
|---|---|---|
| .. | ||
| templates | ||
| .gitignore | ||
| Makefile | ||