Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: d1d1418d7c46e1f198a11b0fd2a2d1d075f5a322
https://github.com/openjump-gis/openjump/commit/d1d1418d7c46e1f198a11b0fd2a2d1d075f5a322
Author: ede <[email protected]>
Date: 2022-07-07 (Thu, 07 Jul 2022)
Changed paths:
M pom.xml
Log Message:
-----------
minor comment rephrasing
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
