diff options
| author | GiteaBot <teabot@gitea.io> | 2023-02-26 00:15:26 +0000 |
|---|---|---|
| committer | Yarden Shoham <hrsi88@gmail.com> | 2023-02-26 00:15:26 +0000 |
| commit | 357042279bd9fed656a4eca26f50dead79e829c4 (patch) | |
| tree | 86a7cd28574358615efbfcd26d15ee66de51e31f /options/license/GNAT-exception | |
| parent | 8540fc45b11eff9a73753ca139f8ea5c38509bf5 (diff) | |
| download | gitea-357042279bd9fed656a4eca26f50dead79e829c4.tar.gz gitea-357042279bd9fed656a4eca26f50dead79e829c4.zip | |
[skip ci] Updated licenses and gitignores
Diffstat (limited to 'options/license/GNAT-exception')
| -rw-r--r-- | options/license/GNAT-exception | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/options/license/GNAT-exception b/options/license/GNAT-exception new file mode 100644 index 0000000000..2b5a96a62b --- /dev/null +++ b/options/license/GNAT-exception @@ -0,0 +1,6 @@ +As a special exception, if other files instantiate generics from this +unit, or you link this unit with other files to produce an executable, +this unit does not by itself cause the resulting executable to be +covered by the GNU General Public License. This exception does not +however invalidate any other reasons why the executable file might be +covered by the GNU Public License. |