Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 0051b93f5de1a96d65b7ae85734978e4c71359ca https://github.com/openjump-gis/openjump/commit/0051b93f5de1a96d65b7ae85734978e4c71359ca Author: Michaël Michaud <m.michael.mich...@orange.fr> Date: 2022-10-07 (Fri, 07 Oct 2022)
Changed paths: M src/com/vividsolutions/jump/workbench/ui/renderer/style/RingVertexStyle.java 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: ----------- Improve RemoveSpikePlugIn _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel