Jörg Thalheim 218298b30f Merge branch 'master' into unused5		2018-07-21 15:41:22 +01:00
..
release-info	…
frog.nix	…
frogdata.nix	…
libfolia.nix	…
mbt-add-libxml2-dep.patch	…
mbt.nix	…
packages.nix	…
test.nix	…
ticcutils.nix	…
timbl.nix	…
timblserver.nix	…
ucto.nix	…
uctodata.nix	…
update	…