r5443: Fix HeaderProperties(). Not re-enabling yet because I don't know why it
treec56746d58755f35e9c2609b22a70c5ddeb413b71
-rw-r--r-- 17982 COPYING
-rw-r--r-- 4417 howto.txt
drwxr-xr-x - packaging
-rw-r--r-- 30869 prog_guide.txt
drwxr-xr-x - source4
-rw-r--r-- 2478 swat2.txt