diff options
Diffstat (limited to 'src/docs/1042.html')
| -rw-r--r-- | src/docs/1042.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/docs/1042.html b/src/docs/1042.html index b2512eb..c9e5426 100644 --- a/src/docs/1042.html +++ b/src/docs/1042.html @@ -7,7 +7,8 @@ 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." --> +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> |