Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 871987d2124ecbd9939078f2a8055094565388f6
https://github.com/openjump-gis/openjump/commit/871987d2124ecbd9939078f2a8055094565388f6
Author: ede <edgar.sol...@web.de>
Date: 2022-01-27 (Thu, 27 Jan 2022)
Changed paths:
M src/org/openjump/core/ui/plugin/customize/BeanToolsPlugIn.java
Log Message:
-----------
fix adding separator
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
