Skip to content

Commit

Permalink
Merge pull request #3811 from juhp/patch-1
Browse files Browse the repository at this point in the history
docs overview: mention editor pages for installation (#3796)
  • Loading branch information
ckipp01 authored Apr 11, 2022
2 parents 6583138 + 4674b26 commit fc2e37c
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docs/editors/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -234,6 +234,8 @@ out-of-the-box.
**Few steps**: installing Metals requires a few custom steps and minimal
configuration to work.

_You can find instructions on how to install Metals for your editor on its specific page._

## Build import

****: it is possible to import a build such as an sbt project directly from
Expand Down

0 comments on commit fc2e37c

Please sign in to comment.