Skip to content

Commit

Permalink
Merge pull request #14542 from Jentsch/master
Browse files Browse the repository at this point in the history
Fix `sbt launchIDE'
  • Loading branch information
smarter authored Feb 22, 2022
2 parents c923db2 + 069a0ef commit 48c65c4
Show file tree
Hide file tree
Showing 2 changed files with 1,390 additions and 29 deletions.
Loading

0 comments on commit 48c65c4

Please sign in to comment.