diff options
author | makefu <github@syntax-fehler.de> | 2017-07-15 22:35:34 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2017-07-15 22:35:45 +0200 |
commit | 91706b67afb5cc527ea56526400e20183374a84c (patch) | |
tree | bfdc3c6391b0e7ecfe0528b96eef2b2a787f2fc4 /makefu/2configs/sources/musnix.nix | |
parent | 7704f80890c75f65c2906ecc17cdd89761d308ad (diff) |
ma: deploy musnix via new source.nix
Diffstat (limited to 'makefu/2configs/sources/musnix.nix')
-rw-r--r-- | makefu/2configs/sources/musnix.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/makefu/2configs/sources/musnix.nix b/makefu/2configs/sources/musnix.nix deleted file mode 100644 index a5be303e9..000000000 --- a/makefu/2configs/sources/musnix.nix +++ /dev/null @@ -1,6 +0,0 @@ -{ - krebs.build.source.musnix.git = { - url = https://github.com/musnix/musnix.git; - ref = "f0ec1f3"; - }; -} |