summaryrefslogtreecommitdiffstats
path: root/src/update.ml
diff options
context:
space:
mode:
authorBenjamin C. Pierce <bcpierce@cis.upenn.edu>2006-06-05 00:42:48 +0000
committerBenjamin C. Pierce <bcpierce@cis.upenn.edu>2006-06-05 00:42:48 +0000
commit9a56c89e54021f5bbcf87d31848103b80f29fc70 (patch)
tree5f2913d0e10b3cd43d4edbd17fe32bacd6a11cc1 /src/update.ml
parent1712246aba5a2740c6e92128a60a4ae8cd3151bf (diff)
downloadunison-9a56c89e54021f5bbcf87d31848103b80f29fc70.zip
unison-9a56c89e54021f5bbcf87d31848103b80f29fc70.tar.gz
unison-9a56c89e54021f5bbcf87d31848103b80f29fc70.tar.bz2
* Updated copyright information and subversion tags in file headers
Diffstat (limited to 'src/update.ml')
-rw-r--r--src/update.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/update.ml b/src/update.ml
index 7d75ff5..bda18f1 100644
--- a/src/update.ml
+++ b/src/update.ml
@@ -1,6 +1,6 @@
-(* $I1: Unison file synchronizer: src/update.ml $ *)
-(* $I2: Last modified by vouillon on Thu, 25 Nov 2004 16:01:48 -0500 $ *)
-(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
+(* Unison file synchronizer: src/update.ml *)
+(* $Id: $ *)
+(* Copyright 1999-2006 (see COPYING for details) *)
open Common
let (>>=) = Lwt.(>>=)