remove now-unneeded documentation-header
authorGerd v. Egidy <gerd.von.egidy@intra2net.com>
Sat, 14 Feb 2009 22:48:22 +0000 (23:48 +0100)
committerGerd v. Egidy <gerd.von.egidy@intra2net.com>
Sat, 14 Feb 2009 22:48:22 +0000 (23:48 +0100)
commite5cf3c2858e0b7a3e1570efee01f99968a1a48d1
treece7fa6c2c22e9fe75f687ac5bced24a924fb13c3
parent91c9886b7ca18ab9ef613e11e285428b745f768c
remove now-unneeded documentation-header
CMakeLists.txt
doc/header.html [deleted file]