Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: ffd8f71ffef9023431396a9c8122c5147fec86f6 https://github.com/openjump-gis/openjump/commit/ffd8f71ffef9023431396a9c8122c5147fec86f6 Author: ede <edgar.sol...@web.de> Date: 2022-02-23 (Wed, 23 Feb 2022)
Changed paths: M Changes.txt Log Message: ----------- some refinements from Jukka, some rephrasing _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel