On Tue, 15 Jul 2008, Matthias Julius wrote: >> Thought the idea of a local ignore list is fine. Would like to have it too >> :-) > > A local ignore list certainly could be helpful.
I started to develop a local warning suppression. Lets see how it evolves :-) > But I also believe to improve the usefulness of the maplint layer it > would be good to have a mechanism to ignore certain warnings. That assumes the ignore information can be used by different validation tools. I don't think this is possible without lots of work. Ciao -- http://www.dstoecker.eu/ (PGP key available) _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/cgi-bin/mailman/listinfo/josm-dev
