From 6410f0c26e239fb66f78a4fea0dd010a2c4bca03 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 11 Jan 2013 08:04:40 +0100
Subject: [PATCH] add mention of a copyright to INRIA in LICENSE.txt

---
 LICENSE.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/LICENSE.txt b/LICENSE.txt
index 08f6d5d3..8c722873 100644
--- a/LICENSE.txt
+++ b/LICENSE.txt
@@ -1,4 +1,5 @@
-Copyright (c) 2008 Board of Trustees, Princeton University
+Copyright (c) 2008-2013 Board of Trustees, Princeton University
+Copyright (c) 2010-2013 INRIA, Institut National d'Informatique et Automatique
 
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and/or hardware specification (the “Work”) to
-- 
2.43.0