equal
deleted
inserted
replaced
807 > [paths] |
807 > [paths] |
808 > local=../issue4455-dest/ |
808 > local=../issue4455-dest/ |
809 > ssh=ssh://user@dummy/issue4455-dest |
809 > ssh=ssh://user@dummy/issue4455-dest |
810 > http=http://localhost:$HGPORT/ |
810 > http=http://localhost:$HGPORT/ |
811 > [ui] |
811 > [ui] |
812 > ssh=python "$TESTDIR/dummyssh" |
812 > ssh=$PYTHON "$TESTDIR/dummyssh" |
813 > EOF |
813 > EOF |
814 $ cat >> ../issue4455-dest/.hg/hgrc << EOF |
814 $ cat >> ../issue4455-dest/.hg/hgrc << EOF |
815 > [hooks] |
815 > [hooks] |
816 > prepushkey=false |
816 > prepushkey=false |
817 > [web] |
817 > [web] |