summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-09-13 21:51:58 +0200
committertv <tv@krebsco.de>2018-09-13 21:58:26 +0200
commit45750d32ed73af19d9b1116c20ac655e9aa34f20 (patch)
tree0bb87c73b7e24bb55fe14686edf8afbfa218fdb3 /krebs
parentd580af7fd9c210f584603aa32318761b4eb3a877 (diff)
krebs krops: 1.3.1 -> 1.3.2ni/staging
Diffstat (limited to 'krebs')
-rw-r--r--krebs/krops.nix2
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";