+of command-line options. Such file should be simple JSON / INI or anything that +Vim could change.</p>
It would be better to say "editable with a text editor", to avoid religious issues. -- Sean Silva _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
