Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 7aaa7f9959438975479d8f12da4f1341c42d8398 https://github.com/openjump-gis/openjump/commit/7aaa7f9959438975479d8f12da4f1341c42d8398 Author: Michaël Michaud <m.michael.mich...@orange.fr> Date: 2022-10-12 (Wed, 12 Oct 2022)
Changed paths: M src/language/jump.properties M src/language/jump_cz.properties M src/language/jump_de.properties M src/language/jump_es.properties M src/language/jump_fi.properties M src/language/jump_fr.properties M src/language/jump_hu.properties M src/language/jump_it.properties M src/language/jump_ja_JP.properties M src/language/jump_ml.properties M src/language/jump_pt.properties M src/language/jump_pt_BR.properties M src/language/jump_ta_IN.properties M src/language/jump_zh_CN.properties M src/language/jump_zh_HK.properties M src/org/openjump/core/ui/plugin/tools/RemoveSpikePlugIn.java Log Message: ----------- RemoveSpikePlugIn refinements _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel