From 0e9ededa8c1d194453f5113bf57c93d0803f03b1 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 12 Jun 2015 10:10:12 +0200 Subject: Update the years. --- LICENSE | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 9887738b..21670791 100644 --- a/LICENSE +++ b/LICENSE @@ -1,8 +1,8 @@ All files in this distribution are part of the CompCert verified compiler. The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007, -2008, 2009, 2010, 2011, 2012, 2013, 2014 Institut National de Recherche en -Informatique et en Automatique (INRIA). +2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Institut National de +Recherche en Informatique et en Automatique (INRIA). The CompCert verified compiler is distributed under the terms of the INRIA Non-Commercial License Agreement given below. This is a -- cgit