Guido Falsi 7312e64f64 - Fix reference to the Additional Contributors' list due to renaming ... to .xml in r39631 Approved by: crees Feature safe: yes		2012-10-25 21:30:57 +00:00
..
scripts	- Fix reference to the Additional Contributors' list due to renaming	2012-10-25 21:30:57 +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