Christian Thaeter b615057a6b git-clean does the same as this homebrewn script, just better		2007-08-20 03:25:35 +02:00
..
git_hooks	little hook improvement	2007-08-12 14:51:33 +02:00
scons	merge together work done for the Testsuite.	2007-08-17 11:06:49 +02:00
DIR_INFO	make some DIR_INFO's nicer	2007-06-21 03:15:52 +02:00
gnu-indent.sh	modified BOUML generation settings to comply to GNU indentation style	2007-07-04 05:46:08 +02:00
treeinfo.sh	small script generating a description of the source tree	2007-06-21 03:16:27 +02:00