From 4121c636763e4bcbca7622e9f0e341d5e0e5a3e1 Mon Sep 17 00:00:00 2001 From: Marcel Amirault Date: Mon, 15 Jul 2019 01:04:35 +0000 Subject: 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. --- doc/user/project/web_ide/index.md | 1 - 1 file changed, 1 deletion(-) (limited to 'doc/user/project/web_ide') 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/ -- cgit v1.2.3