~npalix/coccinelle/upstream : changes

~npalix/coccinelle/upstream » Changes to parsing_cocci/check_meta.mli from revision 5611

From Revision 5611

Rev	Summary	Authors	Tags	Date
4428	Merge branch 'master' of Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/coccinelle/coccinelle	Julia Lawall		8 years ago
4168	Merge git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/cocc... Merge git+ssh://scm.gforge.inria.fr//gitroot/coccinelle/coccinelle	julia		9 years ago
1324	* empty log message * * empty log message * svn path=/coccinelle/; revision=2672	Julia Lawall		17 years ago
1317	* empty log message * * empty log message * svn path=/coccinelle/; revision=2649	Julia Lawall		17 years ago
559	* empty log message * * empty log message * svn path=/coccinelle/; revision=1118	Julia Lawall		18 years ago
457	* empty log message * * empty log message * svn path=/coccinelle/; revision=990	Julia Lawall		18 years ago
1	new new svn path=/branches/coccinelle/yoyo/; revision=348	Yoann Padioleau	start	18 years ago