From dd136858f1ea40ad3c94191d647487fa4f31926c 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.0. 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