16 lines
645 B
Diff
16 lines
645 B
Diff
# http://lists.seas.upenn.edu/pipermail/unison-hackers/2010-July/001437.html
|
|
# http://tech.groups.yahoo.com/group/unison-users/message/9348
|
|
|
|
diff -Nru unison-2.32.52.orig/update.mli unison-2.32.52/update.mli
|
|
--- unison-2.32.52.orig/update.mli 2010-08-29 19:47:19.747218034 +0200
|
|
+++ unison-2.32.52/update.mli 2010-08-29 19:48:14.182482609 +0200
|
|
@@ -1,7 +1,7 @@
|
|
(* Unison file synchronizer: src/update.mli *)
|
|
(* Copyright 1999-2009, Benjamin C. Pierce (see COPYING for details) *)
|
|
|
|
-module NameMap : Map.S with type key = Name.t
|
|
+module NameMap : MyMap.S with type key = Name.t
|
|
|
|
type archive =
|
|
ArchiveDir of Props.t * archive NameMap.t
|