https-github-com-bit
diff --git a/‎Documentation/config.txt‎
Lines changed: 1 addition & 1 deletion b/‎Documentation/config.txt‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎Documentation/pull-config.txt‎ ‎Documentation/config/pull.txt‎Documentation/pull-config.txt renamed to Documentation/config/pull.txt b/‎Documentation/pull-config.txt‎ ‎Documentation/config/pull.txt‎Documentation/pull-config.txt renamed to Documentation/config/pull.txt
@@ -385,7 +385,7 @@ include::config/pretty.txt[]
 
 include::config/protocol.txt[]
 
-include::pull-config.txt[]
+include::config/pull.txt[]
 
 include::push-config.txt[]