diff options
| author | Benjamin C. Pierce <bcpierce@cis.upenn.edu> | 2008-06-23 22:05:17 +0000 |
|---|---|---|
| committer | Benjamin C. Pierce <bcpierce@cis.upenn.edu> | 2008-06-23 22:05:17 +0000 |
| commit | 1934ced844bcbe57f5e50f21e5958f035641b8b4 (patch) | |
| tree | a4678a530b49f02a66b1c1a240ba0839c19ae117 /src/ubase/util.mli | |
| parent | 829bd6646dea57c89842f254051741106861d91d (diff) | |
| download | unison-1934ced844bcbe57f5e50f21e5958f035641b8b4.zip unison-1934ced844bcbe57f5e50f21e5958f035641b8b4.tar.gz unison-1934ced844bcbe57f5e50f21e5958f035641b8b4.tar.bz2 | |
* When using the internal transfer method, remove any temp file on the
destination (which may be left over from a previous interrupted run
of Unison) before starting the transfer.
* Fixed (hopefully!) the bug causing Unison to backup the new archive
version after a (partially or fully) successful merge.
* Updated copyright notices to 2008. :-)
Diffstat (limited to 'src/ubase/util.mli')
| -rw-r--r-- | src/ubase/util.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ubase/util.mli b/src/ubase/util.mli index 1e91f26..d286b32 100644 --- a/src/ubase/util.mli +++ b/src/ubase/util.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.mli *) -(* Copyright 1999-2007 (see COPYING for details) *) +(* Copyright 1999-2008 (see COPYING for details) *) (* Miscellaneous utility functions and datatypes *) |