From 965a9d6f6f48edf794ec8eb0f2fd83427bbbb930 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Sat, 12 Aug 2017 21:14:54 +0100 Subject: [PATCH] Correct copyright header --- tools/lintapidiff.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/lintapidiff.ml b/tools/lintapidiff.ml index 87cf1d4b7..9422869d0 100644 --- a/tools/lintapidiff.ml +++ b/tools/lintapidiff.ml @@ -2,6 +2,8 @@ (* *) (* OCaml *) (* *) +(* Edwin Török *) +(* *) (* Copyright 2016--2017 Edwin Török *) (* *) (* All rights reserved. This file is distributed under the terms of *)