Committer: Tobias Heer <heer@xxxxxxxxxxxxxxxxx> Date: 30/03/2010 at 20:22:05 Revision: 4113 Revision-id: heer@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Branch nick: trunk Log: Removed verbose header check. This was a remnant of the cleanup Modified: D check_header_verbosity.sh D doc/verbose-header-files.txt D doc/verbose-headers.txt D verbose-headers.txt