diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-08-29 15:51:03 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-08-29 15:51:03 +0200 |
| commit | 467419ad4783e776bec2ee444acc297b0c41390f (patch) | |
| tree | 4f5e13be1b068400e701da38dee93bdabd91afd0 /global-licensing.rst | |
| parent | 04f957cb412bf555d2148ca74f4a623650fb2640 (diff) | |
| download | docs-467419ad4783e776bec2ee444acc297b0c41390f.tar.gz docs-467419ad4783e776bec2ee444acc297b0c41390f.tar.bz2 docs-467419ad4783e776bec2ee444acc297b0c41390f.zip | |
include licenses in PDF
Diffstat (limited to 'global-licensing.rst')
| -rw-r--r-- | global-licensing.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/global-licensing.rst b/global-licensing.rst index 7a5e8226..ac5f748e 100644 --- a/global-licensing.rst +++ b/global-licensing.rst @@ -213,3 +213,9 @@ All copyright owned by INRIA (but questionable whether creativity threshold for copyright is even met). Sources are licensed under the GNU LGPL. + ++++++++++++++ +Documentation ++++++++++++++ + +The documentation is licensed under the GNU Free Documentation License Version 1.3 or later. |