provide scala.home setting for scripts - fix for #13758#13759
Merged
BarkingBad merged 1 commit intoscala:masterfrom Oct 18, 2021
philwalk:set-system-property-scala.home
Merged
provide scala.home setting for scripts - fix for #13758#13759BarkingBad merged 1 commit intoscala:masterfrom philwalk:set-system-property-scala.home
BarkingBad merged 1 commit intoscala:masterfrom
philwalk:set-system-property-scala.home
