Sander van der Burg 074c7e99e0 Fix standalone generation script		2018-12-18 21:16:07 +01:00
..
default.nix	Fix standalone generation script	2018-12-18 21:16:07 +01:00
make_standalone_toolchain.py_18.patch