NEWS: Add double blank lines before headers
-rw-r--r-- 21 .gitattributes
-rw-r--r-- 180 .gitignore
-rw-r--r-- 31 AUTHORS
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Ganeti
-rw-r--r-- 2994 Makefile
-rw-r--r-- 11766 NEWS
-rw-r--r-- 4203 README
-rw-r--r-- 360 haddock-prologue
-rw-r--r-- 2693 hail.1
-rw-r--r-- 3752 hail.hs
-rw-r--r-- 25954 hbal.1
-rw-r--r-- 11985 hbal.hs
-rw-r--r-- 3326 hscan.1
-rw-r--r-- 6156 hscan.hs
-rw-r--r-- 195 hscolour.css
-rw-r--r-- 13779 hspace.1
-rw-r--r-- 12176 hspace.hs
-rwxr-xr-x 4620 live-test.sh
-rw-r--r-- 2634 test.hs