diff options
Diffstat (limited to 'man/doclicense.texi')
-rw-r--r-- | man/doclicense.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/doclicense.texi b/man/doclicense.texi index 23ec98c202..0369ea06bb 100644 --- a/man/doclicense.texi +++ b/man/doclicense.texi @@ -366,7 +366,3 @@ If your document contains nontrivial examples of program code, we recommend releasing these examples in parallel under your choice of free software license, such as the GNU General Public License, to permit their use in free software. - -@ignore - arch-tag: c1679162-1d8a-4f02-bc52-2e71765f0165 -@end ignore |