Commit 1888e677 authored by xleroy's avatar xleroy
Browse files

Updating LICENSE and license headers, continued.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2281 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent 754ecb62
......@@ -49,6 +49,8 @@ option) any later version:
all files in the exportclight/ directory
Makefile
A copy of the GNU General Public License version 2 is included below.
The choice between the two licenses for the files listed above is left
to the user. If you opt for the GNU General Public License, these
......
......@@ -6,6 +6,9 @@
# #
# Copyright Institut National de Recherche en Informatique et en #
# Automatique. All rights reserved. This file is distributed #
# under the terms of the GNU General Public License as published by #
# the Free Software Foundation, either version 2 of the License, or #
# (at your option) any later version. This file is also distributed #
# under the terms of the INRIA Non-Commercial License Agreement. #
# #
#######################################################################
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment