Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: d1d1418d7c46e1f198a11b0fd2a2d1d075f5a322
https://github.com/openjump-gis/openjump/commit/d1d1418d7c46e1f198a11b0fd2a2d1d075f5a322
Author: ede
Date: 2022-07-07 (Thu, 07 Jul 2022)
Changed paths:
Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 19f9cddd4f5c3e4ad1965ccd427077883859b439
https://github.com/openjump-gis/openjump/commit/19f9cddd4f5c3e4ad1965ccd427077883859b439
Author: ede
Date: 2022-07-07 (Thu, 07 Jul 2022)
Changed paths: