On Tue, 28 Feb 2012, SF Markus Elfring wrote:
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?
The problem is not that they were included, but that they were not
included and the old versions were present. Those two files are generated
by the parser generator menhir, which the user might not have. There
should be no other generated files.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
