diff options
author | lassulus <lassulus@lassul.us> | 2017-07-18 17:43:39 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-07-18 17:43:39 +0200 |
commit | 714cdec79cf457f304207f443f8b72f64a958d8f (patch) | |
tree | 99a3023fe4a10ae93904b14191d7cae5cd9392a9 /makefu/1systems/wbob | |
parent | 5f743cbd32572a25e0df73b823cd866f1d80f01a (diff) | |
parent | be49befd5239ab2715992e3103bd71327e5a7310 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/1systems/wbob')
-rw-r--r-- | makefu/1systems/wbob/source.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/makefu/1systems/wbob/source.nix b/makefu/1systems/wbob/source.nix index af0f37809..6f079d712 100644 --- a/makefu/1systems/wbob/source.nix +++ b/makefu/1systems/wbob/source.nix @@ -1,7 +1,4 @@ import <stockholm/makefu/source.nix> { - name="studio"; - override.musnix.git = { - url = https://github.com/musnix/musnix.git; - ref = "d8b989f"; - }; + name="wbob"; + musnix = true; } |