Jeffrey Lau
Results
1
issues of
Jeffrey Lau
This PR attemps to fix project root detection for `metals` as well as change the default executable name to just `metals`. (#4220) Further suggestions welcome.