equal
deleted
inserted
replaced
1809 prev = (parents and parents[0]) or nullid |
1809 prev = (parents and parents[0]) or nullid |
1810 dodiff(ui, ui, other, prev, n) |
1810 dodiff(ui, ui, other, prev, n) |
1811 ui.write("\n") |
1811 ui.write("\n") |
1812 |
1812 |
1813 if cleanup: |
1813 if cleanup: |
1814 os.close(fd) |
1814 other.close() # explicit close for unlink |
1815 os.unlink(cleanup) |
1815 os.unlink(cleanup) |
1816 |
1816 |
1817 def init(ui, dest="."): |
1817 def init(ui, dest="."): |
1818 """create a new repository in the given directory |
1818 """create a new repository in the given directory |
1819 |
1819 |