From cdc7103df79231ccbd2c6cef475c9b5cf96e118d Mon Sep 17 00:00:00 2001 From: Christopher Bush Date: Tue, 27 Jun 2023 17:15:33 +0000 Subject: [PATCH] More minor language clarification --- modules/ROOT/pages/contributing-docs/tools-web-ide-ui.adoc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/modules/ROOT/pages/contributing-docs/tools-web-ide-ui.adoc b/modules/ROOT/pages/contributing-docs/tools-web-ide-ui.adoc index ffbfabc..f0cc3e1 100644 --- a/modules/ROOT/pages/contributing-docs/tools-web-ide-ui.adoc +++ b/modules/ROOT/pages/contributing-docs/tools-web-ide-ui.adoc @@ -1,4 +1,4 @@ -= How to profoundly use GitLab UI for document maintenance += How to use GitLab UI for more involved document maintenance Fedora Documentation Team :revdate: 2023-05-13 @@ -20,11 +20,11 @@ The following sections step through how to maintain and continually improve qual == GitLab Web IDE -Launched as part of the GitLab 15.7 release in December 2022, the new Web IDE provides file explorer, text editor and source control in one place. +Launched as part of the GitLab 15.7 release in December 2022, the new Web IDE provides a file explorer, a text editor and source control in one place. === Explorer -Explorer on the left pane helps discover repository structure and file list in Fedora Docs. Whichever repos, standard repository structure allows contributors to navigate files and cross-reference multiple pages quickly. +The explorer on the left pane helps to discover the repository structure and file list in Fedora Docs. Whichever repos, standard repository structure allows contributors to navigate files and cross-reference multiple pages quickly. .Explorer image::gitlab-ui/explorer-intro.png[]