tv gitrepos: kops -> krops

This commit is contained in:
tv 2018-05-03 18:41:08 +02:00
parent 8502d51a48
commit 8b5a7fb02c

View file

@ -42,7 +42,7 @@ let {
kirk = {
cgit.desc = "IRC tools";
};
kops = {
krops = {
cgit.desc = "deployment tools";
};
load-env = {};