> I don't see the need to control the order in which the processing is > performed.
I guess that I do also not want an order change. I suggest to select an alternative file extension filter for the source file search which is provided by your software. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
