ddmt/gitdts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[skip ci] Updated licenses and gitignores

Browse Source
This commit is contained in:
GiteaBot
2023-02-26 00:15:26 +00:00
committed by Yarden Shoham
parent 8540fc45b1
commit 357042279b
32 changed files with 1144 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
options/license/GNAT-exception Normal file
View File

@@ -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.