From e68b9d00a6e05b3a941f63ffb696f91e554ac5ec Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 18 Oct 2024 20:33:49 +0200 Subject: Adding upstream version 9.0.3. Signed-off-by: Daniel Baumann --- options/license/AdaCore-doc | 1 + 1 file changed, 1 insertion(+) create mode 100644 options/license/AdaCore-doc (limited to 'options/license/AdaCore-doc') diff --git a/options/license/AdaCore-doc b/options/license/AdaCore-doc new file mode 100644 index 0000000..0a1dab1 --- /dev/null +++ b/options/license/AdaCore-doc @@ -0,0 +1 @@ +This document may be copied, in whole or in part, in any form or by any means, as is or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any copy. -- cgit v1.2.3