diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-02-27 17:02:31 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-02-27 17:57:50 +0100 |
| commit | 629fbc743f8b5e7623a6834f19885b2e379cb782 (patch) | |
| tree | ab9d77cbb4ebaec95c20d88446b8f7fc2c86d10a /Makefile.ide | |
| parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) | |
Update headers following #6543.
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/Makefile.ide b/Makefile.ide index 4846f5e60..ac4ba75d4 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -1,10 +1,12 @@ -####################################################################### -# v # The Coq Proof Assistant / The Coq Development Team # -# <O___,, # INRIA-Rocquencourt & LRI-CNRS-Orsay # -# \VV/ ############################################################# -# // # This file is distributed under the terms of the # -# # GNU Lesser General Public License Version 2.1 # -####################################################################### +########################################################################## +## # The Coq Proof Assistant / The Coq Development Team ## +## v # INRIA, CNRS and contributors - Copyright 1999-2018 ## +## <O___,, # (see CREDITS file for the list of authors) ## +## \VV/ ############################################################### +## // # This file is distributed under the terms of the ## +## # GNU Lesser General Public License Version 2.1 ## +## # (see LICENSE file for the text of the license) ## +########################################################################## ## Makefile rules for building the CoqIDE interface |