Hallo, > Meine Frage ist nun, ob es eine einfache Möglichkeit gibt überflüssige > Punkte zu entfernen. Ich dachte mal so etwas bei JOSM gesehen zu haben, > hatte jetzt aber nix gefunden. Oder habe ich das mir nur eingebildet.
Ich hatte da mal was programmiert, zuletzt gesehen hab ich das im "UtilsPlugin" - schau mal, ob Du das irgendwo findest und ob das noch tut ;-) Bye Frederik -- Frederik Ramm ## eMail [EMAIL PROTECTED] ## N49°00'09" E008°23'33" _______________________________________________ Talk-de mailing list Talk-de@openstreetmap.org http://lists.openstreetmap.org/cgi-bin/mailman/listinfo/talk-de
