They are generated files. They seem not to have gotten updated with the release of rc10.
Do the published archive files and version repository contain any more generated files?
Can any of them be deleted from the source file collection? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
