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

Reply via email to