> * Defalut value * Default value
> * Directory selection > * Single file selection > > Would it be better? Partly, yes. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
