|
|
49af022e9a
|
remove JAVA_HOME setting in metals
|
2023-12-17 15:25:05 -08:00 |
|
|
|
127bb29002
|
update metals to use global executable
|
2023-12-17 15:17:14 -08:00 |
|
|
|
bc2b71fa94
|
make metals not lazy
|
2023-05-27 22:14:12 -07:00 |
|
|
|
89193f43b4
|
metals improvements 2
|
2023-02-11 13:59:53 -08:00 |
|
|
|
7b6176d6d7
|
metals improvements
|
2023-02-11 11:59:44 -08:00 |
|
|
|
fe22d20eb7
|
add metals telescope support and linting
|
2023-02-11 11:32:30 -08:00 |
|
|
|
a8d1ecdc07
|
add metals
|
2023-02-11 11:16:16 -08:00 |
|
