Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: f245ac786f3db57f55523d1964c715dc546ba861
https://github.com/openjump-gis/openjump/commit/f245ac786f3db57f55523d1964c715dc546ba861
Author: Michaël Michaud <m.michael.mich...@orange.fr>
Date: 2022-01-15 (Sat, 15 Jan 2022)
Changed paths:
R lib/plus/OnlineDoc-0.1.jar
M pom.xml
Log Message:
-----------
Add online-doc-extension
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
