Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 86451b1c49115f38c18881205e526536de9b4249
https://github.com/openjump-gis/openjump/commit/86451b1c49115f38c18881205e526536de9b4249
Author: Michaël Michaud <m.michael.mich...@orange.fr>
Date: 2021-04-30 (Fri, 30 Apr 2021)
Changed paths:
R lib/plus/lib/jgrapht-core-0.9.2
A lib/plus/lib/jgrapht-core-1.4.0.jar
R lib/plus/lib/jgrapht-core-1.5.1.jar
R lib/plus/lib/jump-jgrapht-0.7.1
Log Message:
-----------
Downgrade jgrapht from 1.5.1 to 1.4.0 (last java8 compatible version)
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
