Benjamin Dauvergne 57435048a0 configure: generate version number from git revision between tagged release ... The script git-version-gen is copied from the autoconf project.		2013-05-15 11:28:25 +02:00
..
spatch	[tools] add a repository for semantic patches as reference	2010-10-11 18:46:39 +02:00
api.py	Tools: add script to generate a listing of Lasso ABI	2010-01-14 16:18:42 +00:00
check-lasso-sections.py	Tools: add usage statement to check-lasso-sections.py	2010-04-06 13:11:44 +00:00
check-makefile.sh	Tools: add check-makefile.sh script to tools	2010-06-12 00:43:31 +00:00
format-suppressions.py	[Core] move format-suppressions.py to tools directory	2010-07-21 13:57:03 +00:00
generate_idwsf2_classes.py	* Remove ending blanks	2008-09-12 15:06:58 +00:00
git-version-gen	configure: generate version number from git revision between tagged release	2013-05-15 11:28:25 +02:00