diff options
| author | Benjamin Pierce <bcpierce002017@gmail.com> | 2018-01-27 08:55:49 -0500 |
|---|---|---|
| committer | Benjamin Pierce <bcpierce002017@gmail.com> | 2018-01-27 08:55:49 -0500 |
| commit | aceddab87958afe7a650ad62fd9d8049c5a08efb (patch) | |
| tree | 11e84bdce06dabb04b52d448891edfc92751ec3a | |
| parent | 393129a1ce023aa2f919ba03619eaa3472f97a9c (diff) | |
| download | unison-aceddab87958afe7a650ad62fd9d8049c5a08efb.zip unison-aceddab87958afe7a650ad62fd9d8049c5a08efb.tar.gz unison-aceddab87958afe7a650ad62fd9d8049c5a08efb.tar.bz2 | |
Update copyright dates
107 files changed, 118 insertions, 204 deletions
diff --git a/doc/changes.tex b/doc/changes.tex index 6e6f8bb..717d63e 100644 --- a/doc/changes.tex +++ b/doc/changes.tex @@ -1,5 +1,16 @@ \begin{changesfromversion}{2.48} \item Repository transplanted from SVN to Git and moved to GitHub (\URL{https://github.com/bcpierce00/unison}). +\item Add a new preference, '{\tt atomic}', for specifying directories that + should be treated atomically: if there are changes within such a + directory in both replicase, the whole directory is marked as a + conflict instead of propagating any of the changes. Thanks to + Julian Squires for submitting this patch! +\item OSX / macOS + \begin{itemize} + \item Ported to 10.13, High Sierra, and Apple's new APFS (earlier + versions of Unison break because of new behavior of AppleDouble files) + \item Replaced Growl with OS X native notification center. +\end{itemioze} \item Miscellaneous: \begin{itemize} \item The OCaml compiler version is now included in the ``connection header diff --git a/src/Makefile b/src/Makefile index 851838f..53b7856 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,7 +1,7 @@ ####################################################################### # $I1: Unison file synchronizer: src/Makefile $ # $I2: Last modified by bcpierce on Sun, 22 Aug 2004 22:29:04 -0400 $ -# $I3: Copyright 1999-2017 (see COPYING for details) $ +# $I3: Copyright 1999-2018 (see COPYING for details) $ ####################################################################### ## User Settings @@ -341,6 +341,7 @@ testmerge: tags: -if [ -f "`which $(ETAGS)`" ]; then \ $(ETAGS) *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt \ + *Makefile* \ ; fi all:: TAGS diff --git a/src/RECENTNEWS b/src/RECENTNEWS index e20fcaf..e69de29 100644 --- a/src/RECENTNEWS +++ b/src/RECENTNEWS @@ -1,98 +0,0 @@ -CHANGES FROM VERSION 2.49.543 - -* Add OCaml compiler version (<= 4.02.1 or >= 4.02.2) to connection - header string that is exchanged when client connects to server, to - fail more cleanly when incompatible versions are recognized. -* Bump version number to 2.50.0 to avoid confusion -* Fix description of where the command-line tool will be installed -* Improve error report when failing on OCaml compiler version mismatch - -------------------------------- -CHANGES FROM VERSION 2.49.600 - -* Tidy Makefiles for move to Git -* Tidy a bunch of other miscellaneous stuff - -------------------------------- -CHANGES FROM VERSION 2.49.600 - -* Tidy Makefiles for move to Git -* Tidy a bunch of other miscellaneous stuff - -------------------------------- -CHANGES FROM VERSION 2.49.9 - -* Make the installation Makefile a bit more paranoid, to prevent bad - behavior if the OCaml installation is not present or messed up -------------------------------- -CHANGES FROM VERSION 2.49.8 - -* Update copyright dates to 2016 - -------------------------------- -CHANGES FROM VERSION 2.49.7 - -* Small fix to gtk2 UI per suggestion from Daniel Reichelt, to scan - profiles before main window is created. (second try) - -------------------------------- -CHANGES FROM VERSION 2.49.6 - -* Small fix to gtk2 UI per suggestion from Daniel Reichelt, to scan - profiles before main window is created. - -* Small fix to avoid assertion failure on conflicts involving deleted - files when using -copyonconflict flag - - -------------------------------- -CHANGES FROM VERSION 2.49.4 - -* Remove colon from names of files created by the -copyonconflict - flag, to avoid unhappiness with some filesystems. -------------------------------- -CHANGES FROM VERSION 2.49.3 - -uimac14: install the command-line tool in /usr/local/bin -------------------------------- -CHANGES FROM VERSION 2.49.2 - -* Wording improvement in manual - -------------------------------- -CHANGES FROM VERSION 2.49.1 - -* Update to cygwin install instructions from Mario Emmenlauer - - - -------------------------------- -CHANGES FROM VERSION 2.49.0 - -* Small change for OSX El Capitan, from Alan Shutko - -* Add a new preference, 'atomic', for specifying directories that - should be treated atomically -- if there are changes within such a - directory in both replicase, the whole directory is marked as a - conflict instead of propagating any of the changes. Thanks to - Julian Squires for submitting this patch! -------------------------------- -CHANGES FROM VERSION 2.48.6 - -* Add shortcut key to GTK2 user interface allowing - to be used as a - synonym for / (to accommodate german keyboards) - -* Small fix to manual - -------------------------------- -CHANGES FROM VERSION 2.48.5 - -uimac14: replace Growl with OS X native notification center. - -Thanks to Jan Hacker for the patch. -------------------------------- -CHANGES FROM VERSION 2.48.3 - -* Final cleanup for stable release - -------------------------------- diff --git a/src/abort.ml b/src/abort.ml index cd4e74b..8bf2aec 100644 --- a/src/abort.ml +++ b/src/abort.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/abort.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/bytearray.ml b/src/bytearray.ml index 6b3bc83..e7ea175 100644 --- a/src/bytearray.ml +++ b/src/bytearray.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/bytearray.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/bytearray.mli b/src/bytearray.mli index 4068713..f643a5d 100644 --- a/src/bytearray.mli +++ b/src/bytearray.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/bytearray.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type t = (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t diff --git a/src/bytearray_stubs.c b/src/bytearray_stubs.c index b3e345f..04f9204 100644 --- a/src/bytearray_stubs.c +++ b/src/bytearray_stubs.c @@ -1,5 +1,5 @@ /* Unison file synchronizer: src/bytearray_stubs.c */ -/* Copyright 1999-2017 (see COPYING for details) */ +/* Copyright 1999-2018 (see COPYING for details) */ #include <string.h> diff --git a/src/case.ml b/src/case.ml index 95492a2..f6135cd 100644 --- a/src/case.ml +++ b/src/case.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/case.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/case.mli b/src/case.mli index 81cf27f..b1bd309 100644 --- a/src/case.mli +++ b/src/case.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/case.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val caseInsensitiveMode : [`True|`False|`Default] Prefs.t val unicodeEncoding : bool Prefs.t diff --git a/src/checksum.ml b/src/checksum.ml index 0e4ae01..d5d2931 100644 --- a/src/checksum.ml +++ b/src/checksum.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/checksum.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/checksum.mli b/src/checksum.mli index a86b147..bd1a777 100644 --- a/src/checksum.mli +++ b/src/checksum.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/checksum.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type t = int type u = int array diff --git a/src/clroot.ml b/src/clroot.ml index 89acdb2..827aadc 100644 --- a/src/clroot.ml +++ b/src/clroot.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/clroot.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/clroot.mli b/src/clroot.mli index 0140801..7a6de7e 100644 --- a/src/clroot.mli +++ b/src/clroot.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/clroot.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Command-line roots *) type clroot = diff --git a/src/common.ml b/src/common.ml index d73f618..0335ab9 100644 --- a/src/common.ml +++ b/src/common.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/common.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/common.mli b/src/common.mli index d523bef..2a41315 100644 --- a/src/common.mli +++ b/src/common.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/common.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (***************************************************************************) (* COMMON TYPES USED BY ALL MODULES *) diff --git a/src/copy.ml b/src/copy.ml index 5ed8b77..be9352b 100644 --- a/src/copy.ml +++ b/src/copy.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/copy.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/external.ml b/src/external.ml index 586c6e7..58646c1 100644 --- a/src/external.ml +++ b/src/external.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/external.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/external.mli b/src/external.mli index 0a14a23..4304f74 100644 --- a/src/external.mli +++ b/src/external.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/external.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val runExternalProgram : string -> (Unix.process_status * string) Lwt.t val readChannelTillEof : in_channel -> string diff --git a/src/fileinfo.ml b/src/fileinfo.ml index 2653975..8cd9bad 100644 --- a/src/fileinfo.ml +++ b/src/fileinfo.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileinfo.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fileinfo.mli b/src/fileinfo.mli index 24f66f5..f3ce189 100644 --- a/src/fileinfo.mli +++ b/src/fileinfo.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileinfo.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type typ = [`ABSENT | `FILE | `DIRECTORY | `SYMLINK] val type2string : typ -> string diff --git a/src/files.ml b/src/files.ml index 5c0edff..5ff1881 100644 --- a/src/files.ml +++ b/src/files.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/files.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/files.mli b/src/files.mli index d606c5d..da9d092 100644 --- a/src/files.mli +++ b/src/files.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/files.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* As usual, these functions should only be called by the client (i.e., in *) (* the same address space as the user interface). *) diff --git a/src/fileutil.ml b/src/fileutil.ml index 0f02731..e59ede8 100644 --- a/src/fileutil.ml +++ b/src/fileutil.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileutil.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fileutil.mli b/src/fileutil.mli index 2216864..78ad22a 100644 --- a/src/fileutil.mli +++ b/src/fileutil.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fileutil.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Convert backslashes in a string to forward slashes. Useful in Windows. *) val backslashes2forwardslashes : string -> string diff --git a/src/fingerprint.ml b/src/fingerprint.ml index ce384a5..54d5e6b 100644 --- a/src/fingerprint.ml +++ b/src/fingerprint.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fingerprint.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fingerprint.mli b/src/fingerprint.mli index d681cde..692bcea 100644 --- a/src/fingerprint.mli +++ b/src/fingerprint.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fingerprint.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type t diff --git a/src/fpcache.ml b/src/fpcache.ml index 18e6061..90efc8f 100644 --- a/src/fpcache.ml +++ b/src/fpcache.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fpcache.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fpcache.mli b/src/fpcache.mli index 766700a..a8ee0bc 100644 --- a/src/fpcache.mli +++ b/src/fpcache.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fpcache.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Initialize the cache *) val init : bool -> bool -> System.fspath -> unit @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fs.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fs.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Operations on fspaths *) diff --git a/src/fspath.ml b/src/fspath.ml index 01573ac..70269c2 100644 --- a/src/fspath.ml +++ b/src/fspath.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fspath.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fspath.mli b/src/fspath.mli index ae4491a..1c1cea2 100644 --- a/src/fspath.mli +++ b/src/fspath.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fspath.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Defines an abstract type of absolute filenames (fspaths) *) diff --git a/src/fswatch.ml b/src/fswatch.ml index 64ee9d0..7139c0a 100644 --- a/src/fswatch.ml +++ b/src/fswatch.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatch.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/fswatch.mli b/src/fswatch.mli index fe4ac85..5c674bb 100644 --- a/src/fswatch.mli +++ b/src/fswatch.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatch.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type archiveHash = string diff --git a/src/fswatchold.ml b/src/fswatchold.ml index b071ce5..411593b 100644 --- a/src/fswatchold.ml +++ b/src/fswatchold.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/fswatcherold.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/globals.ml b/src/globals.ml index 048e72b..d96fb63 100644 --- a/src/globals.ml +++ b/src/globals.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/globals.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/globals.mli b/src/globals.mli index 553c542..db8bc25 100644 --- a/src/globals.mli +++ b/src/globals.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/globals.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Global variables and functions needed by top-level modules and user *) (* interfaces *) diff --git a/src/linkgtk.ml b/src/linkgtk.ml index 1152f87..a516f95 100644 --- a/src/linkgtk.ml +++ b/src/linkgtk.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linkgtk.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/linkgtk2.ml b/src/linkgtk2.ml index 984ad60..d102922 100644 --- a/src/linkgtk2.ml +++ b/src/linkgtk2.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linkgtk2.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/linktext.ml b/src/linktext.ml index 3cdf540..c0bbfed 100644 --- a/src/linktext.ml +++ b/src/linktext.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/linktext.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lock.ml b/src/lock.ml index 8c27fcf..7c82305 100644 --- a/src/lock.ml +++ b/src/lock.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lock.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lock.mli b/src/lock.mli index 03af2b1..5111953 100644 --- a/src/lock.mli +++ b/src/lock.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lock.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* A simple utility module for setting and releasing inter-process locks using entries in the filesystem. *) diff --git a/src/lwt/pqueue.ml b/src/lwt/pqueue.ml index 7de719d..21bc36f 100644 --- a/src/lwt/pqueue.ml +++ b/src/lwt/pqueue.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lwt/pqueue.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/lwt/pqueue.mli b/src/lwt/pqueue.mli index 51a24b9..b885498 100644 --- a/src/lwt/pqueue.mli +++ b/src/lwt/pqueue.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/lwt/pqueue.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) module type OrderedType = sig diff --git a/src/main.ml b/src/main.ml index 9d11f1c..08a3d22 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/main.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/name.ml b/src/name.ml index 125fd6a..5c9e269 100644 --- a/src/name.ml +++ b/src/name.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/name.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/name.mli b/src/name.mli index d9ed4b3..198175f 100644 --- a/src/name.mli +++ b/src/name.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/name.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type t @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/os.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/os.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val myCanonicalHostName : unit -> string @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/osx.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/osx.mli b/src/osx.mli index e259d01..689c1b2 100644 --- a/src/osx.mli +++ b/src/osx.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/osx.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val init : bool -> unit val isMacOSX : bool diff --git a/src/path.ml b/src/path.ml index 800ed65..0397602 100644 --- a/src/path.ml +++ b/src/path.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/path.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/path.mli b/src/path.mli index 483f861..67266a9 100644 --- a/src/path.mli +++ b/src/path.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/path.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Abstract type of relative pathnames *) type 'a path diff --git a/src/pixmaps.ml b/src/pixmaps.ml index 6b4444f..2f787eb 100644 --- a/src/pixmaps.ml +++ b/src/pixmaps.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pixmaps.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/pred.ml b/src/pred.ml index 400a457..9f2d00e 100644 --- a/src/pred.ml +++ b/src/pred.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pred.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/pred.mli b/src/pred.mli index 092bbe0..487aac4 100644 --- a/src/pred.mli +++ b/src/pred.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/pred.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Predicates over paths. diff --git a/src/props.ml b/src/props.ml index 4b82c07..29c234c 100644 --- a/src/props.ml +++ b/src/props.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/props.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/props.mli b/src/props.mli index e9e3ac9..d591b96 100644 --- a/src/props.mli +++ b/src/props.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/props.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* File properties: time, permission, length, etc. *) diff --git a/src/recon.ml b/src/recon.ml index 0b41e51..2c619bb 100644 --- a/src/recon.ml +++ b/src/recon.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/recon.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/recon.mli b/src/recon.mli index 09258e9..b5dc4a3 100644 --- a/src/recon.mli +++ b/src/recon.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/recon.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val reconcileAll : ?allowPartial:bool (* whether we allow partial synchronization diff --git a/src/remote.ml b/src/remote.ml index 8551bd0..0e9d4d3 100644 --- a/src/remote.ml +++ b/src/remote.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/remote.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/remote.mli b/src/remote.mli index f1358c2..4fe4b67 100644 --- a/src/remote.mli +++ b/src/remote.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/remote.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) module Thread : sig val unwindProtect : (unit -> 'a Lwt.t) -> (exn -> unit Lwt.t) -> 'a Lwt.t diff --git a/src/sortri.ml b/src/sortri.ml index 9274963..0a66030 100644 --- a/src/sortri.ml +++ b/src/sortri.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/sortri.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/sortri.mli b/src/sortri.mli index f6663db..7f2a84b 100644 --- a/src/sortri.mli +++ b/src/sortri.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/sortri.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Sort a list of recon items according to the current setting of various preferences (defined in sort.ml, and accessible from the diff --git a/src/stasher.ml b/src/stasher.ml index cfc7185..f306f89 100644 --- a/src/stasher.ml +++ b/src/stasher.ml @@ -1,6 +1,6 @@ (* Unison file synchronizer: src/stasher.ml *) (* $I2: Last modified by lescuyer *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/stasher.mli b/src/stasher.mli index eee4a70..c7c1a07 100644 --- a/src/stasher.mli +++ b/src/stasher.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/stasher.mli *) -(* Copyright 1999-2017 (see COPYING for details) *) +(* Copyright 1999-2018 (see COPYING for details) *) (* This module maintains backups for general purpose and *) (* as archives for mergeable files. *) diff --git a/src/strings.mli b/src/strings.mli index b39cddf..af968d3 100644 --- a/src/strings.mli +++ b/src/strings.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/strings.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) val docs : (string * (string * string)) list diff --git a/src/system.ml b/src/system.ml index d5b9474..1f4e20a 100644 --- a/src/system.ml +++ b/src/system.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system.mli b/src/system.mli index 600dc4b..99c85a9 100644 --- a/src/system.mli +++ b/src/system.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Operations on filesystem path *) diff --git a/src/system/system_generic.ml b/src/system/system_generic.ml index 648bbf9..453027d 100755 --- a/src/system/system_generic.ml +++ b/src/system/system_generic.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_generic.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system/system_intf.ml b/src/system/system_intf.ml index 9c375e5..209826d 100644 --- a/src/system/system_intf.ml +++ b/src/system/system_intf.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_intf.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/system/system_win.ml b/src/system/system_win.ml index 0701dcb..4b64398 100755 --- a/src/system/system_win.ml +++ b/src/system/system_win.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/system/system_win.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/terminal.ml b/src/terminal.ml index 9ac465f..7aa65c9 100644 --- a/src/terminal.ml +++ b/src/terminal.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/terminal.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/test.ml b/src/test.ml index e64755e..3d48040 100644 --- a/src/test.ml +++ b/src/test.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/test.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -526,7 +526,7 @@ let test() = check "1" R2 orig; ); - (* Check for the bug reported by Sebastian Elsner (Jan 2017) *) + (* Check for the bug reported by Sebastian Elsner (Jan 2018) *) (* NOT POSSIBLE because the test API does not enable one to play with file owners, but I put the test here anyway. *) (* diff --git a/src/test.mli b/src/test.mli index 259a339..c64f571 100644 --- a/src/test.mli +++ b/src/test.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/test.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Internal self-tests *) diff --git a/src/transfer.ml b/src/transfer.ml index 80b47ea..17f5771 100644 --- a/src/transfer.ml +++ b/src/transfer.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transfer.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/transfer.mli b/src/transfer.mli index 54e748f..61fdb30 100644 --- a/src/transfer.mli +++ b/src/transfer.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transfer.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Rsync : general algorithm description diff --git a/src/transport.ml b/src/transport.ml index 3cd836a..ee55854 100644 --- a/src/transport.ml +++ b/src/transport.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transport.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/transport.mli b/src/transport.mli index 3c28b41..54b467c 100644 --- a/src/transport.mli +++ b/src/transport.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/transport.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Executes the actions implied by the reconItem list. *) val transportItem : diff --git a/src/tree.ml b/src/tree.ml index ae10cbb..04db5f2 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/tree.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/tree.mli b/src/tree.mli index 7407419..39a7404 100644 --- a/src/tree.mli +++ b/src/tree.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/tree.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* An ('a, 'b) t is a tree with 'a-labeled arcs and 'b-labeled nodes. *) (* Labeling for the internal nodes is optional *) diff --git a/src/ubase/proplist.ml b/src/ubase/proplist.ml index f75ecf7..2377a7e 100644 --- a/src/ubase/proplist.ml +++ b/src/ubase/proplist.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/proplist.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/proplist.mli b/src/ubase/proplist.mli index 585c6e3..992d9e1 100644 --- a/src/ubase/proplist.mli +++ b/src/ubase/proplist.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/proplist.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type 'a key type t diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml index 290bfb1..0003e43 100644 --- a/src/ubase/rx.ml +++ b/src/ubase/rx.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/rx.mli b/src/ubase/rx.mli index 8825ee9..7018fd2 100644 --- a/src/ubase/rx.mli +++ b/src/ubase/rx.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/rx.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) type t diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml index e6f0b53..678a8b5 100644 --- a/src/ubase/safelist.ml +++ b/src/ubase/safelist.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/safelist.mli b/src/ubase/safelist.mli index a771189..21aa94a 100644 --- a/src/ubase/safelist.mli +++ b/src/ubase/safelist.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/safelist.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* All functions here are tail recursive and will work for arbitrary sized lists (unlike some of the standard ones). The intention is that diff --git a/src/ubase/trace.ml b/src/ubase/trace.ml index 36f2dc1..08caddf 100644 --- a/src/ubase/trace.ml +++ b/src/ubase/trace.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli index 4b83b2e..d9bb10d 100644 --- a/src/ubase/trace.mli +++ b/src/ubase/trace.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging support *) diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml index 9c643ef..5ffd924 100644 --- a/src/ubase/uarg.ml +++ b/src/ubase/uarg.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/uarg.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* by Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Slightly modified by BCP, July 1999 *) diff --git a/src/ubase/util.ml b/src/ubase/util.ml index 9f4fe66..8af4714 100644 --- a/src/ubase/util.ml +++ b/src/ubase/util.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/ubase/util.mli b/src/ubase/util.mli index d7409c8..b213560 100644 --- a/src/ubase/util.mli +++ b/src/ubase/util.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/util.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Miscellaneous utility functions and datatypes *) @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ui.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* The module Ui provides only the user interface signature. Implementations are provided by Uitext and Uitk. *) diff --git a/src/uicommon.ml b/src/uicommon.ml index 1418477..9fa94cf 100644 --- a/src/uicommon.ml +++ b/src/uicommon.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uicommon.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uicommon.mli b/src/uicommon.mli index bfad7a7..ad3771b 100644 --- a/src/uicommon.mli +++ b/src/uicommon.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uicommon.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* Kinds of UI *) type interface = diff --git a/src/uigtk2.ml b/src/uigtk2.ml index 6af53f7..fbc5d8f 100644 --- a/src/uigtk2.ml +++ b/src/uigtk2.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uigtk2.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uigtk2.mli b/src/uigtk2.mli index b4f757d..60f7a9f 100644 --- a/src/uigtk2.mli +++ b/src/uigtk2.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/uigtk2.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/uitext.ml b/src/uitext.ml index 8526d03..c6bcf0b 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uitext.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uitext.mli b/src/uitext.mli index 241e7a6..e8d74bd 100644 --- a/src/uitext.mli +++ b/src/uitext.mli @@ -1,4 +1,4 @@ (* Unison file synchronizer: src/uitext.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) module Body : Uicommon.UI diff --git a/src/unicode.ml b/src/unicode.ml index c392105..0ec3e93 100644 --- a/src/unicode.ml +++ b/src/unicode.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/unicode.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/unicode.mli b/src/unicode.mli index 5cd8f45..d002b01 100644 --- a/src/unicode.mli +++ b/src/unicode.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/unicode.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) exception Invalid diff --git a/src/update.ml b/src/update.ml index fc5add8..d2e96b1 100644 --- a/src/update.ml +++ b/src/update.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/update.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/update.mli b/src/update.mli index d20bf9c..7642434 100644 --- a/src/update.mli +++ b/src/update.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/update.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) module NameMap : MyMap.S with type key = Name.t diff --git a/src/uutil.ml b/src/uutil.ml index 9d930dc..2f603aa 100644 --- a/src/uutil.ml +++ b/src/uutil.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uutil.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/uutil.mli b/src/uutil.mli index 937cf2e..6f99b49 100644 --- a/src/uutil.mli +++ b/src/uutil.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/uutil.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* This module collects a number of low-level, Unison-specific utility functions. It is kept separate from the Util module so that that module diff --git a/src/xferhint.ml b/src/xferhint.ml index 37da243..5c543d1 100644 --- a/src/xferhint.ml +++ b/src/xferhint.ml @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/xferhint.ml *) -(* Copyright 1999-2017, Benjamin C. Pierce +(* Copyright 1999-2018, Benjamin C. Pierce This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/xferhint.mli b/src/xferhint.mli index 822d57d..6073a49 100644 --- a/src/xferhint.mli +++ b/src/xferhint.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/xferhint.mli *) -(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *) (* This module maintains a cache that can be used to map an Os.fullfingerprint to a (Fspath.t * Path.t) naming a file that *may* |