> … But it would be nice if I could control some commonly-used options, …
Thanks for your feedback. > I don't have anything to contribute other than "I need this feature". Will any programmers appear who would be willing to contribute more significant development resources? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci