There is now a git repository with the coccinelle sources at https://github.com/coccinelle
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
