mercurial/commands.py
changeset 35038 6ef744a7df65
parent 35017 e61d661b0350
child 35039 d7a4384d2d87
--- a/mercurial/commands.py	Thu Oct 19 11:43:19 2017 +0200
+++ b/mercurial/commands.py	Thu Oct 19 11:46:41 2017 +0200
@@ -4695,7 +4695,7 @@
 
     Please note that the server does not implement access control.
     This means that, by default, anybody can read from the server and
-    nobody can write to it by default. Set the ``web.allow_push``
+    nobody can write to it by default. Set the ``web.allow-push``
     option to ``*`` to allow everybody to push to the server. You
     should use a real web server if you need to authenticate users.