summaryrefslogtreecommitdiffstats
path: root/src/files.mli
diff options
context:
space:
mode:
authorBenjamin Pierce <bcpierce002017@gmail.com>2018-01-27 08:55:49 -0500
committerBenjamin Pierce <bcpierce002017@gmail.com>2018-01-27 08:55:49 -0500
commitaceddab87958afe7a650ad62fd9d8049c5a08efb (patch)
tree11e84bdce06dabb04b52d448891edfc92751ec3a /src/files.mli
parent393129a1ce023aa2f919ba03619eaa3472f97a9c (diff)
downloadunison-aceddab87958afe7a650ad62fd9d8049c5a08efb.zip
unison-aceddab87958afe7a650ad62fd9d8049c5a08efb.tar.gz
unison-aceddab87958afe7a650ad62fd9d8049c5a08efb.tar.bz2
Update copyright dates
Diffstat (limited to 'src/files.mli')
-rw-r--r--src/files.mli2
1 files changed, 1 insertions, 1 deletions
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). *)