summaryrefslogtreecommitdiffstats
path: root/tv/2configs/gitrepos.nix
diff options
context:
space:
mode:
authorjeschli <jeschli@gmail.com>2018-07-31 16:33:33 +0200
committerjeschli <jeschli@gmail.com>2018-07-31 16:33:33 +0200
commit676f5668de1f15b9297dd5ca36385cbfc0f33d87 (patch)
tree132a46ddc2a1863ebe58ab3bdf56c9a06cefab91 /tv/2configs/gitrepos.nix
parentd34cfa4cc8953ee227f99a36d56ec9335cba532e (diff)
parent46e725b6ee1259ad8a0d33f9ffbda6fd1dc2228d (diff)
Merge remote-tracking branch 'origin/staging/jeschli'
Diffstat (limited to 'tv/2configs/gitrepos.nix')
-rw-r--r--tv/2configs/gitrepos.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index 6e4830a77..06875038d 100644
--- a/tv/2configs/gitrepos.nix
+++ b/tv/2configs/gitrepos.nix
@@ -32,6 +32,9 @@ let {
dic = {
cgit.desc = "dict.leo.org command line interface";
};
+ disko = {
+ cgit.desc = "declarative partitioning and formatting tool";
+ };
get = {};
hstool = {
cgit.desc = "Haskell Development Environment ^_^";