diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-16 14:11:26 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-16 14:11:26 +0100 |
commit | c94a44226a069c00a8ce87f50616f3ad95f4146d (patch) | |
tree | d3f35ea491518a766a803386bed3f6eb329507aa /licensing.rst | |
parent | 22133c6f1ec0df35f88ea963148832fe19d67810 (diff) | |
download | docs-c94a44226a069c00a8ce87f50616f3ad95f4146d.tar.gz docs-c94a44226a069c00a8ce87f50616f3ad95f4146d.tar.bz2 docs-c94a44226a069c00a8ce87f50616f3ad95f4146d.zip |
adding global licensing text
Diffstat (limited to 'licensing.rst')
-rw-r--r-- | licensing.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/licensing.rst b/licensing.rst index b774b936..7bc4123d 100644 --- a/licensing.rst +++ b/licensing.rst @@ -12,6 +12,8 @@ Source files of interest are located in the following directories: (The repository could contain also scaffolded autogenerated files, which do not have legal significance in this context) +Generally, GNU GPLv3 license is used for them; see COPYING.GPL + * current directory * exts/ |