Update NEWS file for the 0.2.5 release htools-v0.2.5
-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-- 2551 Makefile
-rw-r--r-- 11744 NEWS
-rw-r--r-- 4203 README
-rw-r--r-- 360 haddock-prologue
-rw-r--r-- 2693 hail.1
-rw-r--r-- 3762 hail.hs
-rw-r--r-- 25938 hbal.1
-rw-r--r-- 12039 hbal.hs
-rw-r--r-- 3326 hscan.1
-rw-r--r-- 6093 hscan.hs
-rw-r--r-- 195 hscolour.css
-rw-r--r-- 13684 hspace.1
-rw-r--r-- 13536 hspace.hs
-rwxr-xr-x 2662 live-test.sh
-rw-r--r-- 2028 test.hs