Move remaining scripts into Nix

Christian Rochacommitted parent cc60932a61c7dfd7bdd37ea9969ec0b38e0840498993452Browse files
6 files changed+4−55

Rendering diff…