Skip to content

Revert to using sbt-launch.jar to run SBT#1251

Merged
jerryz123 merged 1 commit intomainfrom
javasbt
Oct 13, 2022
Merged

Revert to using sbt-launch.jar to run SBT#1251
jerryz123 merged 1 commit intomainfrom
javasbt

Commits

Commits on Oct 10, 2022