hail: remove the custom info message generation
-rw-r--r-- 21 .gitattributes
-rw-r--r-- 215 .gitignore
-rw-r--r-- 31 AUTHORS
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Ganeti
-rw-r--r-- 3258 Makefile
-rw-r--r-- 16500 NEWS
-rw-r--r-- 4319 README
drwxr-xr-x - doc
-rw-r--r-- 360 haddock-prologue
-rw-r--r-- 3239 hail.hs
-rw-r--r-- 14948 hbal.hs
-rw-r--r-- 4814 hscan.hs
-rw-r--r-- 195 hscolour.css
-rw-r--r-- 13180 hspace.hs
-rwxr-xr-x 4620 live-test.sh
drwxr-xr-x - man
-rw-r--r-- 2634 test.hs