diff options
author | tv <tv@krebsco.de> | 2018-07-13 14:24:57 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-07-13 14:24:57 +0200 |
commit | 75aa3b118b6c74b2e87ccf7e3da53aa06fa7d569 (patch) | |
tree | 3eda848215be00e76e7029a49595f964c03869a3 /tv | |
parent | b5a56d2c2e2be1d0177cc894257b2a19664140d5 (diff) |
tv gitrepos: add disko
Diffstat (limited to 'tv')
-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 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 ^_^"; |