On Mon, 14 Dec 2015, Nelson A. de Oliveira wrote:
Technically, can rules be renamed?
In my last mail I talk about the whole rule and wiki page. It's no issue to simply change the "title" of the rule if that helps.
Ciao -- http://www.dstoecker.eu/ (PGP key available) _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org https://lists.openstreetmap.org/listinfo/josm-dev