The new version is also now available from our Ubuntu PPA. Instructions are on the download page: http://coccinelle.lip6.fr/download.php
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
