> But changing it at this point will not help to find the source > of your problem.
Do we talk about the same meaning for the directory name "lib"? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
