> -\newcommand{\cocciversion}{1.0.0-rc1\xspace}
> +\newcommand{\cocciversion}{0.2.5\xspace}Oops. Thanks. I probably never committed that change... julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
