From 1888e677c92d2edc2dda6eb7c27bea0a9906cc24 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 17 Jun 2013 12:52:50 +0000
Subject: Updating LICENSE and license headers, continued.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2281 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 LICENSE | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'LICENSE')

diff --git a/LICENSE b/LICENSE
index 1f8776d4..3b41c108 100644
--- a/LICENSE
+++ b/LICENSE
@@ -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
-- 
cgit