diff options
| author | lassulus <lassulus@lassul.us> | 2017-07-16 12:05:35 +0200 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2017-07-16 12:05:35 +0200 |
| commit | cd7c0971ccc9023f63feb75d4abe514fdc03a079 (patch) | |
| tree | 704c47afe8cd43a36f36f251cd53b340ec5ec4da /makefu/2configs/sources/musnix.nix | |
| parent | b91a4c4b0f0958cdc5e7c0d60523326083f275d4 (diff) | |
| parent | 0e0ad14c373a038e6d347017f5efe172c7409793 (diff) | |
Merge remote-tracking branch 'gum/master'
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"; - }; -} |