diff --git a/documentation/overview-manual/overview-manual-development-environment.xml b/documentation/overview-manual/overview-manual-development-environment.xml
index a1d1e1df2d..44a6e98956 100644
--- a/documentation/overview-manual/overview-manual-development-environment.xml
+++ b/documentation/overview-manual/overview-manual-development-environment.xml
@@ -733,11 +733,6 @@
here.
-
- If you do not know much about Git, you should educate
- yourself by visiting the links previously mentioned.
-
-
The following list of Git commands briefly describes some basic
Git operations as a way to get started.