Skip to content

Metals VS Code v1.5.3

Compare
Choose a tag to compare
@release-drafter release-drafter released this 02 Sep 14:51
2621c1d

What’s Changed

  • Update default Metals version to 0.7.2 (#140) @tgodzik
  • stop inserting pipes when editing scala files (#138) @Karola766
  • Fix documentation about build tools (#134) @tgodzik