add mention of a copyright to INRIA in LICENSE.txt
Thierry Parmentelat [Fri, 11 Jan 2013 07:04:40 +0000 (08:04 +0100)]
LICENSE.txt

index 08f6d5d..8c72287 100644 (file)
@@ -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