Fix scala plugin REPL incompatibility; separately download and configure REPL for scala >= 3.8#1272
Open
murhum1 wants to merge 2 commits into
Open
Fix scala plugin REPL incompatibility; separately download and configure REPL for scala >= 3.8#1272murhum1 wants to merge 2 commits into
murhum1 wants to merge 2 commits into
