add file headers
[hs-pgms.git] / src / GUI / 
treecbd5992d716138bd9abc1d11a45c7984d92cfb32
drwxr-xr-x   ..
-rw-r--r-- 933 Common.hs
-rw-r--r-- 3158 Config.hs
-rw-r--r-- 4636 Stats.hs