Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 24dab75365c80371446edea9b412e577cbba5e31
https://github.com/openjump-gis/openjump/commit/24dab75365c80371446edea9b412e577cbba5e31
Author: ede <[email protected]>
Date: 2021-08-29 (Sun, 29 Aug 2021)
Changed paths:
R lib/plus/lib/jedit-syntax-2.2.2.jar
R lib/plus/workbench-properties.xml
Log Message:
-----------
cleanup
Commit: d7498bd7d81406069a2623ed644ae83aaac48d97
https://github.com/openjump-gis/openjump/commit/d7498bd7d81406069a2623ed644ae83aaac48d97
Author: ede <[email protected]>
Date: 2021-08-29 (Sun, 29 Aug 2021)
Changed paths:
R lib/plus/graph-toolbox-1.0.0.jar
R lib/plus/lib/jgrapht-core-1.4.0.jar
R lib/plus/lib/jump-jgrapht-1.0.jar
M pom.xml
Log Message:
-----------
upgrade graph-toolbox extension
Compare:
https://github.com/openjump-gis/openjump/compare/2c5eaa47935f...d7498bd7d814
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
