6
0
mirror of https://github.com/ChristianLight/tutor.git synced 2025-01-25 22:18:24 +00:00
Régis Behmo 07b3d113d4 Simplify environment generation
Environment is no longer generated separately for each target, but only
once the configuration is saved.

Note that the environment is automatically updated during
re-configuration, based on a "version" file stored in the environment.
2019-03-18 18:34:42 +01:00
..
2019-03-18 18:34:42 +01:00