just because (you never know;)), i set up a git mirror on Gitlab of the Openjump repo https://gitlab.com/openjump-gis/openjump
will document it later in the README. have fun, stay safe ..ede _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel