summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-05-03 18:41:08 +0200
committertv <tv@krebsco.de>2018-05-03 18:41:08 +0200
commit8b5a7fb02cb8fd76efa0e96fa6dc219fd35144b3 (patch)
treef1984c0d446dc1ac6a98770633472b73d7a4d015
parent8502d51a48c6267545633afaf12074a323a98462 (diff)
tv gitrepos: kops -> krops
-rw-r--r--tv/2configs/gitrepos.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index c3418e7ee..a4e3aafca 100644
--- a/tv/2configs/gitrepos.nix
+++ b/tv/2configs/gitrepos.nix
@@ -42,7 +42,7 @@ let {
kirk = {
cgit.desc = "IRC tools";
};
- kops = {
+ krops = {
cgit.desc = "deployment tools";
};
load-env = {};