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 | 2bdb91570f8131b770627ad58d40cdd51dffc9f5 (patch) | |
| tree | 5036832b0acd100605319a279e5bb71074fc8b48 /tv | |
| parent | 3b6c1b0efcfb848a3e3c380664dcc5315169549a (diff) | |
| parent | 6e35be71f64dbb6d83bfd1d6fd8a2d8e1c9eb842 (diff) | |
Merge remote-tracking branch 'ni/master'
Diffstat (limited to 'tv')
| -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 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 = {}; |