On Wed, 29 Jun 2011, Michael Stefaniuc wrote: > Julia Lawall wrote: > > Indeed, it's a clever idea. Thanks! :) > Something for the wiki ;)
Done. Thanks for the suggestion. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
