r4493: change name of README.gcov so it doesn't get deleted by "make clean" :-)
treea0f6796c8b4f437f2b60129ffc8295bc8011684e
-rw-r--r-- 17982 COPYING
-rw-r--r-- 3688 howto.txt
drwxr-xr-x - packaging
-rw-r--r-- 30571 prog_guide.txt
drwxr-xr-x - source
-rw-r--r-- 2478 swat2.txt