Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 7d82bebae8159373ed8b9919f40aed89d05ae392
https://github.com/openjump-gis/openjump/commit/7d82bebae8159373ed8b9919f40aed89d05ae392
Author: Michaël Michaud <m.michael.mich...@orange.fr>
Date: 2022-10-11 (Tue, 11 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:
-----------
Improve RemoveSpikePlugIn
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
