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 | 88c336616404504d6b0bf6d78dbf1c7f9d476c48 (patch) | |
| tree | 0105fcbe8460e11d00b713f3926c1274728febcf /tv/2configs/gitrepos.nix | |
| parent | ffe3bd486a3fb2d8eb8c5173242f3a1db3cebb7f (diff) | |
tv gitrepos: add disko
Diffstat (limited to 'tv/2configs/gitrepos.nix')
| -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 6e4830a..0687503 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 ^_^"; |