diff options
| author | lassulus <lass@blue.r> | 2018-10-09 11:30:02 +0200 |
|---|---|---|
| committer | lassulus <lass@blue.r> | 2018-10-09 11:30:02 +0200 |
| commit | 5ac5ee66bd006cd6161a05c35a2df088abe0616b (patch) | |
| tree | bb34b0506da2fca7e7eb19eb7e3469e752e2e415 /krebs/krops.nix | |
| parent | 1f23af4309d077a4a98c2ad8539db12d062842a5 (diff) | |
| parent | 29d4f4357afc0965c73f7ed33c3f03880e8e84e2 (diff) | |
Merge branch '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"; |