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 | |
parent | b91a4c4b0f0958cdc5e7c0d60523326083f275d4 (diff) | |
parent | 0e0ad14c373a038e6d347017f5efe172c7409793 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/sources')
-rw-r--r-- | makefu/2configs/sources/default.nix | 7 | ||||
-rw-r--r-- | makefu/2configs/sources/musnix.nix | 6 |
2 files changed, 0 insertions, 13 deletions
diff --git a/makefu/2configs/sources/default.nix b/makefu/2configs/sources/default.nix deleted file mode 100644 index 232117aec..000000000 --- a/makefu/2configs/sources/default.nix +++ /dev/null @@ -1,7 +0,0 @@ -# the builder pc (my laptop) will also require the sources i use to deploy -# other boxes -{ - imports = [ - ./musnix.nix - ]; -} 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"; - }; -} |