various cosmetic changes
treec21ef17a68578eca57d3d12f6ea7909f09350798
-rw-r--r-- 1493 LICENSE
-rw-r--r-- 87 Setup.lhs
drwxr-xr-x - data
-rw-r--r-- 688 mine.cabal
drwxr-xr-x - src