diff options
author | tv <tv@krebsco.de> | 2018-09-13 21:51:58 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-09-13 21:58:26 +0200 |
commit | 45750d32ed73af19d9b1116c20ac655e9aa34f20 (patch) | |
tree | 0bb87c73b7e24bb55fe14686edf8afbfa218fdb3 /krebs/krops.nix | |
parent | d580af7fd9c210f584603aa32318761b4eb3a877 (diff) |
krebs krops: 1.3.1 -> 1.3.2
Diffstat (limited to 'krebs/krops.nix')
-rw-r--r-- | krebs/krops.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/krops.nix b/krebs/krops.nix index e5013ad08..864cc8066 100644 --- a/krebs/krops.nix +++ b/krebs/krops.nix @@ -2,7 +2,7 @@ krops = builtins.fetchGit { url = https://cgit.krebsco.de/krops/; - rev = "4e466eaf05861b47365c5ef46a31a188b70f3615"; + rev = "c46166d407c7d246112f13346621a3fbdb25889e"; }; lib = import "${krops}/lib"; |