Hi, I'd like to request a "-q" or "-nonotes" option to disable notes like:
Note: processing took 10.5s: ./rose/utility.c thanks. Stan _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
