diff options
| author | Enrico Tassi | 2015-12-04 14:41:43 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-04 21:40:29 +0100 |
| commit | 5c64366ccfe9f1299938c7f81ec24c8203b2a9aa (patch) | |
| tree | 8b3fa7a9a222ec5a03c40c6155061653ee983e8e /mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | |
| parent | c3cd260a6d6a2bc63d70cd404cc569c5494619c3 (diff) | |
update license banner in .ml files
Diffstat (limited to 'mathcomp/ssreflect/plugin/trunk/ssreflect.ml4')
| -rw-r--r-- | mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 index e05526e..f3a4f70 100644 --- a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 @@ -1,4 +1,5 @@ -(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *) +(* (c) Copyright 2006-2015 Microsoft Corporation and Inria. *) +(* Distributed under the terms of CeCILL-B. *) (* This line is read by the Makefile's dist target: do not remove. *) DECLARE PLUGIN "ssreflect" |