rc13, which was previously only available on github, is now also available on the web page.
rc14, however, is coming shortly, including the --defined and --undefined command line arguments discussed recently. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
