summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-07-13 14:24:57 +0200
committertv <tv@krebsco.de>2018-07-13 14:24:57 +0200
commit75aa3b118b6c74b2e87ccf7e3da53aa06fa7d569 (patch)
tree3eda848215be00e76e7029a49595f964c03869a3
parentb5a56d2c2e2be1d0177cc894257b2a19664140d5 (diff)
tv gitrepos: add disko
-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 ^_^";