diff options
Diffstat (limited to '')
| -rw-r--r-- | options/license/AdaCore-doc | 1 |
1 files changed, 1 insertions, 0 deletions
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. |