Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 072b650a0761c7c450677f6d21a0ed0146460410 https://github.com/openjump-gis/openjump/commit/072b650a0761c7c450677f6d21a0ed0146460410 Author: Michaël Michaud <m.michael.mich...@orange.fr> Date: 2022-01-29 (Sat, 29 Jan 2022)
Changed paths: M lib/ext/BeanTools/6-PushPinPoints.bsh M lib/ext/BeanTools/SaveViewAsBeanTool.bsh Log Message: ----------- Fix some broken BeanTools _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel