Skip to content

1.13.0

Compare
Choose a tag to compare
@rgrinberg rgrinberg released this 27 Jul 16:59
· 448 commits to master since this release

CHANGES:

Features

  • Code actions for jumping to related files (.ml, .mli, etc.) (#795)