diff options
| author | jeschli <jeschli@gmail.com> | 2018-03-13 18:52:07 +0100 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-03-13 18:55:44 +0100 |
| commit | f40372edae02126778df858bc93d89b53fe0723f (patch) | |
| tree | 45643c633eb0a759d19340562254092f722b46af /tv/2configs | |
| parent | a8e30e2c3bb58372d26714e82c7986f22f2be652 (diff) | |
| parent | d7e64aca1718d94c97b6d6378a191ec957047131 (diff) | |
Merge remote-tracking branch 'origin/master' into HEAD
Diffstat (limited to 'tv/2configs')
| -rw-r--r-- | tv/2configs/gitrepos.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index dc50be4..c3418e7 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -42,6 +42,9 @@ let { kirk = { cgit.desc = "IRC tools"; }; + kops = { + cgit.desc = "deployment tools"; + }; load-env = {}; loldns = { cgit.desc = "toy DNS server"; |