Benjamin Dauvergne a6d33dd5fe [tools] add a repository for semantic patches as reference		2010-10-11 18:46:39 +02:00
..
remove-gstrcmp.spatch	[tools] add a repository for semantic patches as reference	2010-10-11 18:46:39 +02:00