]> gitweb.michael.orlitzky.com - dead/htsn.git/tree
Use a global configuration file (again).
-rw-r--r-- 46 Setup.hs
drwxr-xr-x - doc
-rw-r--r-- 8252 htsn.cabal
-rw-r--r-- 984 makefile
drwxr-xr-x - src
drwxr-xr-x - test