From 5d1cda3081d6dbf7a39548bfea376c2ea24531b3 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Wed, 8 Dec 2021 13:37:58 +0100 Subject: LICENSE --- doc/index-verimag.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/index-verimag.html b/doc/index-verimag.html index 56b16991..4ca4a7bc 100644 --- a/doc/index-verimag.html +++ b/doc/index-verimag.html @@ -105,7 +105,7 @@ or the CompCert Web site.

This document and the CompCert sources are copyright Institut National de Recherche en Informatique et en Automatique (INRIA) and AbsInt Angewandte Informatik GmbH, and are distributed under the terms of the -following license. +following license.

-- cgit