Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: 68992496fc7f32d0aea5ee857fef70abad0f8328
https://github.com/openjump-gis/openjump/commit/68992496fc7f32d0aea5ee857fef70abad0f8328
Author: ede
Date: 2022-08-23 (Tue, 23 Aug 2022)
Changed paths:
Branch: refs/heads/main
Home: https://github.com/openjump-gis/openjump
Commit: a0411144dc9da0218aa666f90a829ff47f20f5ab
https://github.com/openjump-gis/openjump/commit/a0411144dc9da0218aa666f90a829ff47f20f5ab
Author: ede
Date: 2022-08-23 (Tue, 23 Aug 2022)
Changed paths: