update of clone to FE docs

keccak384 · Jul 12, 2022 · 49d927c · 49d927c
1 parent 588576d
commit 49d927c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/docs/file_explorer.md b/docs/file_explorer.md
@@ -56,7 +56,12 @@ When you create a new Workspace, a modal comes up where you choose which templat
 ![](images/a-workspace-templates.png)
 
 ## Workspaces & cloning a repo
-When you click the **clone** icon (**F.** in fig.1), you'll be asked for the url of the repo.  A new workspace will be created that will contain the cloned repo.  To manage the GIT repo, go to the DGIT plugin.
+When you click the **clone** icon (**F.** in fig.1), you'll be asked for the url of the repo.  A new workspace will be created that will contain the cloned repo.  To manage the Git repo, go to the DGIT plugin.
+
+## Workspaces with a Git repo
+Workspaces with an associated Git will have the Git icon next to them in the Workspaces select box.
+
+![](images/a-fe-select-git.png)
 
 ## Creating new files
 

diff --git a/docs/images/a-fe-select-git.png b/docs/images/a-fe-select-git.png