equal
deleted
inserted
replaced
1831 my_server = https://example.com/my_repo |
1831 my_server = https://example.com/my_repo |
1832 local_path = /home/me/repo |
1832 local_path = /home/me/repo |
1833 |
1833 |
1834 These symbolic names can be used from the command line. To pull from |
1834 These symbolic names can be used from the command line. To pull from |
1835 "my_server": 'hg pull my_server'. To push to "local_path": 'hg push |
1835 "my_server": 'hg pull my_server'. To push to "local_path": 'hg push |
1836 local_path'. |
1836 local_path'. You can check 'hg help urls' for details about valid URLs. |
1837 |
1837 |
1838 Options containing colons (":") denote sub-options that can influence |
1838 Options containing colons (":") denote sub-options that can influence |
1839 behavior for that specific path. Example: |
1839 behavior for that specific path. Example: |
1840 |
1840 |
1841 [paths] |
1841 [paths] |