syberant d32743abe0 openjump: 1.3.1 -> 1.15 ... Also fixes #38452		2020-08-01 06:55:38 +02:00
..
default.nix	openjump: 1.3.1 -> 1.15	2020-08-01 06:55:38 +02:00