diff options
author | Matthias Andree <mandree@FreeBSD.org> | 2011-04-05 09:58:42 +0000 |
---|---|---|
committer | Matthias Andree <mandree@FreeBSD.org> | 2011-04-05 09:58:42 +0000 |
commit | 82dcc2798d62a70b70097e96c3cf790c87f9c2e9 (patch) | |
tree | fbfabd6bff25ad44cc665007fae7a85d8fba6771 /net/unison232 | |
parent | e5a3b70a2e77fe4e484a234d23506704d12d39ac (diff) | |
download | ports-82dcc2798d62a70b70097e96c3cf790c87f9c2e9.tar.gz ports-82dcc2798d62a70b70097e96c3cf790c87f9c2e9.zip |
Notes
Diffstat (limited to 'net/unison232')
-rw-r--r-- | net/unison232/files/patch-update.mli.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/net/unison232/files/patch-update.mli.diff b/net/unison232/files/patch-update.mli.diff new file mode 100644 index 000000000000..af31c8b3f6ae --- /dev/null +++ b/net/unison232/files/patch-update.mli.diff @@ -0,0 +1,13 @@ +Source: https://webdav.seas.upenn.edu/viewvc/unison/branches/2.40/src/update.mli?view=patch&r1=435&r2=457&pathrev=457 + +--- ./update.mli 2010/04/15 17:29:31 435 ++++ ./update.mli 2010/07/19 13:05:04 457 +@@ -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 |