diff options
Diffstat (limited to 'krebs')
| -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"; | 
