Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 255d81db0cec6fa37cb69c5ade37142785e70d73
https://github.com/openjump-gis/openjump/commit/255d81db0cec6fa37cb69c5ade37142785e70d73
Author: ede <edgar.sol...@web.de>
Date: 2022-02-01 (Tue, 01 Feb 2022)
Changed paths:
M src/com/vividsolutions/jump/workbench/ui/TreeUtil.java
Log Message:
-----------
minor refinement
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
