diff options
author | makefu <github@syntax-fehler.de> | 2018-10-07 23:12:16 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2018-10-07 23:12:16 +0200 |
commit | 91023a11ebae6794caaecc882892da7f90deea28 (patch) | |
tree | 5bfd29cf49b1248cff80c4e001b0bf78b972ff26 /krebs/krops.nix | |
parent | 9104af869e8c8ce299fc2ddbf7f2631bbbf48b1e (diff) | |
parent | 6b08d5aa46adc80d8a1ab4ed1d3e320c61a19f01 (diff) |
Merge remote-tracking branch 'lass/18.09' into 18.09
Diffstat (limited to 'krebs/krops.nix')
-rw-r--r-- | krebs/krops.nix | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/krebs/krops.nix b/krebs/krops.nix index 864cc8066..89354c1ea 100644 --- a/krebs/krops.nix +++ b/krebs/krops.nix @@ -1,9 +1,6 @@ { name }: rec { - krops = builtins.fetchGit { - url = https://cgit.krebsco.de/krops/; - rev = "c46166d407c7d246112f13346621a3fbdb25889e"; - }; + krops = ../submodules/krops; lib = import "${krops}/lib"; |