diff options
| author | Marcel Amirault <mamirault@gitlab.com> | 2019-07-15 04:04:35 +0300 |
|---|---|---|
| committer | Evan Read <eread@gitlab.com> | 2019-07-15 04:04:35 +0300 |
| commit | 4121c636763e4bcbca7622e9f0e341d5e0e5a3e1 (patch) | |
| tree | 1866b3f0165503b02ef3bc3cfc2d8cee7c8d5335 /doc/user/project/web_ide | |
| parent | e8fd34b1a457c538fe568ea9eec4fae4d0f3c869 (diff) | |
Remove extra blank lines from docs
Removing extra blank lines in docs that serve
no purpose, as well as some --- lines that also
are not needed.
Diffstat (limited to 'doc/user/project/web_ide')
| -rw-r--r-- | doc/user/project/web_ide/index.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/user/project/web_ide/index.md b/doc/user/project/web_ide/index.md index 3d92508ad04..9bf400e7dff 100644 --- a/doc/user/project/web_ide/index.md +++ b/doc/user/project/web_ide/index.md @@ -295,6 +295,5 @@ active terminal at a time. connect to the runner. Please try to stop and restart the terminal. If the problem persists, double check your runner configuration. - [ce]: https://about.gitlab.com/pricing/ [ee]: https://about.gitlab.com/pricing/ |