remove now-unneeded documentation-header
authorGerd v. Egidy <gerd.von.egidy@intra2net.com>
Sat, 14 Feb 2009 23:07:21 +0000 (00:07 +0100)
committerGerd v. Egidy <gerd.von.egidy@intra2net.com>
Sat, 14 Feb 2009 23:07:21 +0000 (00:07 +0100)
commit8003c93ef6a3fa5037cee484fca20b4ba8596ff1
tree0956d227388f7a07390fe3c0705d22222d632620
parentc20a976f346150c63cb93580eccac06b0058a7a0
remove now-unneeded documentation-header
doc/Doxyfile.in
doc/Makefile.am
doc/header.html [deleted file]