is now available on github. We have not yet resolved the issue of the inclusion of some undesirable files (.depend, etc).
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
