Emanuel Haupt 1f0745998b Use the 'Created by:' header option per default rather than the RCS only ... header. Suggested by: adamw Feature safe: yes		2012-10-30 10:17:53 +00:00
..
scripts	Use the 'Created by:' header option per default rather than the RCS only	2012-10-30 10:17:53 +00:00
make_index	Major optimizations for 'make index' and other recursive traversal	2008-07-19 17:59:41 +00:00
make_readmes	Fix readme building.	2011-08-12 06:56:44 +00:00