diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:36:20 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:57:52 +0100 |
| commit | fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch) | |
| tree | f99953c897acd0c2fabf75060e1845650547ccac /docs/docs/contributing/eclipse.md | |
| parent | 5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff) | |
| download | dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2 dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip | |
Fix #1674: add search to doc site
Diffstat (limited to 'docs/docs/contributing/eclipse.md')
| -rw-r--r-- | docs/docs/contributing/eclipse.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/docs/contributing/eclipse.md b/docs/docs/contributing/eclipse.md index 46301dc42..9afe28355 100644 --- a/docs/docs/contributing/eclipse.md +++ b/docs/docs/contributing/eclipse.md @@ -1,11 +1,8 @@ --- layout: default -title: Eclipse +title: "Building Dotty with Eclipse" --- -Building Dotty with Eclipse -=========================== - Build setup ----------- You may need to redo these steps when the build changes. |