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 [email protected] https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
