tv gitrepos: add disko

This commit is contained in:
tv 2018-07-13 14:24:57 +02:00
parent b5a56d2c2e
commit 75aa3b118b

View file

@ -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 ^_^";