diff options
| author | Benjamin Pierce <bcpierce00@gmail.com> | 2017-10-15 12:35:14 -0400 |
|---|---|---|
| committer | Benjamin Pierce <bcpierce00@gmail.com> | 2017-10-15 12:35:14 -0400 |
| commit | d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2 (patch) | |
| tree | ad354f0d65fb7501395b38935c602c93f0c7612c /src/ubase/trace.mli | |
| parent | 65cee1bd0daf986293725727f617cf3990092d3d (diff) | |
| download | unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.zip unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.tar.gz unison-d62761d7c8a9f68d5c4c39b70ac8ab1ecbfb47d2.tar.bz2 | |
Tidy up change log and copyright dates
Diffstat (limited to 'src/ubase/trace.mli')
| -rw-r--r-- | src/ubase/trace.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli index 996f3a4..4b83b2e 100644 --- a/src/ubase/trace.mli +++ b/src/ubase/trace.mli @@ -1,5 +1,5 @@ (* Unison file synchronizer: src/ubase/trace.mli *) -(* Copyright 1999-2016, Benjamin C. Pierce (see COPYING for details) *) +(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *) (* ---------------------------------------------------------------------- *) (* Debugging support *) |