diff options
| author | lassulus <lassulus@lassul.us> | 2018-05-04 19:27:19 +0200 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2018-05-04 19:27:19 +0200 |
| commit | 6d8a79f91ff4661f06228505349c8c2ee41a9b25 (patch) | |
| tree | 670dcd0a4406f91f804cb8f0902e5e59f09a8476 | |
| parent | 19e98c2ed2a741d4628354fbad12320504f3c4b7 (diff) | |
| parent | 1f6270da038fe0142c4bc5e8f92386c1ed000bc7 (diff) | |
Merge remote-tracking branch 'ni/master'
| -rw-r--r-- | tv/2configs/gitrepos.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index c3418e7..a4e3aaf 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 = {}; |