Please just try it.
I've done that a moment ago as you should notice from the result in the mail that was a fresh copy out of my terminal window.
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
