diff options
Diffstat (limited to 'src/docs/2230.html')
-rw-r--r-- | src/docs/2230.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/docs/2230.html b/src/docs/2230.html index 42c9004..c5fbbdd 100644 --- a/src/docs/2230.html +++ b/src/docs/2230.html @@ -2,7 +2,12 @@ <html> <!-- Copyright (C) 2020 Cem Keylan -Licensed under Gnu Free Documentation License. --> +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.3 or +any later version published by the Free Software Foundation; with no +Invariant Sections, with no Front-Cover Texts and no Back-Cover Texts. +A copy of the license is included in the section entitled "GNU Free +Documentation License." --> <!-- Created by GNU Texinfo 6.7, http://www.gnu.org/software/texinfo/ --> <!-- This file redirects to the location of a node or anchor --> <head> |