On Tue, 5 Mar 2013, SF Markus Elfring wrote: > > The things listed in the mli files are the only things that you should use. > > Unless there is an ML file that has no mli file, which is unfortunately > > occasionally the case. > > Would you like to add any interface descriptions for documentation > improvements?
No, we don't have the resources for that. > Which approach do you recommend to assign file names and include > parameters to different configuration variables for your source files > (excluding external software components)? No idea what this means. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
