diff options
Diffstat (limited to 'net-misc/unison/files/unison-mymap.patch')
| -rw-r--r-- | net-misc/unison/files/unison-mymap.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/net-misc/unison/files/unison-mymap.patch b/net-misc/unison/files/unison-mymap.patch deleted file mode 100644 index 030eb0f..0000000 --- a/net-misc/unison/files/unison-mymap.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: unison-2.32.52/update.mli -=================================================================== ---- unison-2.32.52.orig/update.mli -+++ unison-2.32.52/update.mli -@@ -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 |