zimbatm dad23f2092
add extra_nix_config options
This also cleans the install-nix.sh script a bit
2020-08-25 18:08:00 +02:00
..
2020-08-25 18:08:00 +02:00
2020-05-26 18:08:30 +02:00
2019-10-02 15:36:51 +02:00

Generated Code

The files in this directory are generated. See src