Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 76a7152b7f54c38a70b1039d6b612a3a90f1d3dd
https://github.com/openjump-gis/openjump/commit/76a7152b7f54c38a70b1039d6b612a3a90f1d3dd
Author: Michaël Michaud <m.michael.mich...@orange.fr>
Date: 2021-05-29 (Sat, 29 May 2021)
Changed paths:
A lib/plus/five-color-extension-1.0.0.jar
R lib/plus/ojmapcoloring-0.5.2
Log Message:
-----------
Add five-color-extension (aka mapcoloring plugin)
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
