Chris Rees d2d57e3729 Add script to convert old-style OPTIONS database files to new format. ... If you are having trouble with saved OPTIONS not being recognised, just run this as root and you will have no further trouble!		2012-06-04 15:03:26 +00:00
..
scripts	Add script to convert old-style OPTIONS database files to new format.	2012-06-04 15:03:26 +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