> At the moment, I am more concerned with the pretty printing, as this rc1 > release > has some potentially significant changes in this direction.
Would you like to tell a bit more about your feature prioritisation? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
