summaryrefslogtreecommitdiff
path: root/licensing.rst
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-03-16 14:11:26 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-03-16 14:11:26 +0100
commitc94a44226a069c00a8ce87f50616f3ad95f4146d (patch)
treed3f35ea491518a766a803386bed3f6eb329507aa /licensing.rst
parent22133c6f1ec0df35f88ea963148832fe19d67810 (diff)
downloaddocs-c94a44226a069c00a8ce87f50616f3ad95f4146d.tar.gz
docs-c94a44226a069c00a8ce87f50616f3ad95f4146d.tar.bz2
docs-c94a44226a069c00a8ce87f50616f3ad95f4146d.zip
adding global licensing text
Diffstat (limited to 'licensing.rst')
-rw-r--r--licensing.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/licensing.rst b/licensing.rst
index b774b93..7bc4123 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/