diff options
| author | Théo Zimmermann | 2019-06-06 11:22:08 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-17 18:08:32 +0200 |
| commit | bfc5a469f4be928d1f01ac2811719ef6aae0e338 (patch) | |
| tree | a83b78c6ca19db5d8dc59dccc7ef92eddb35bcb7 /doc/sphinx/_static/notations.js | |
| parent | 42e09b6d888a29cc6273b8e77d5f9a2e5582abc4 (diff) | |
Update c-style headers to new year.
Diffstat (limited to 'doc/sphinx/_static/notations.js')
| -rw-r--r-- | doc/sphinx/_static/notations.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/_static/notations.js b/doc/sphinx/_static/notations.js index eb7f211e8b..63112312d0 100644 --- a/doc/sphinx/_static/notations.js +++ b/doc/sphinx/_static/notations.js @@ -1,6 +1,6 @@ /************************************************************************/ /* * The Coq Proof Assistant / The Coq Development Team */ -/* v * INRIA, CNRS and contributors - Copyright 1999-2018 */ +/* v * INRIA, CNRS and contributors - Copyright 1999-2019 */ /* <O___,, * (see CREDITS file for the list of authors) */ /* \VV/ **************************************************************/ /* // * This file is distributed under the terms of the */ |