We have fixed the noted problems about adding blank lines and + in front of /* */ comments. A number of other small fixes have been made as well. This will appear at some point soon on the web page. If you want to try it beforehand, and are using Ubuntu, it can be obtained from here: https://launchpad.net/~npalix/+archive/coccinelle
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
