Robert Helgesson 43fd747ba7 Use a generation directory
Before we put only user files in the generation directory but that was
quite limiting. In particular, we lost track of the activation script.
2017-01-15 23:41:20 +01:00
2017-01-15 23:41:20 +01:00
2017-01-15 23:41:20 +01:00
2017-01-14 13:15:24 +01:00
2017-01-14 13:15:19 +01:00
S
Description
No description provided
19 MiB
Languages
Nix 97%
Shell 1.7%
Python 0.9%
Lua 0.1%