> OK, basically I worry about converting a list of 35 000 file names to python.
Can such development concerns be adjusted? > But maybe it's not a big deal. Will additional search filters, dependencies and better algorithms improve the software situation finally? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci