log

age author description
Mon, 28 Apr 2008 18:12:07 +0000 diego Remove '-' prefix from 'rm -f' commands for consistency.
Mon, 28 Apr 2008 17:57:44 +0000 diego Mark phony checkheaders target as such.
Mon, 28 Apr 2008 17:54:14 +0000 diego Merge now redundant clean and distclean rules into the top-level Makefile.