diff options
Diffstat (limited to 'lispref/gpl.texi')
| -rw-r--r-- | lispref/gpl.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lispref/gpl.texi b/lispref/gpl.texi index de21adbdd18..433288e26d9 100644 --- a/lispref/gpl.texi +++ b/lispref/gpl.texi @@ -398,3 +398,6 @@ consider it more useful to permit linking proprietary applications with the library. If this is what you want to do, use the GNU Lesser General Public License instead of this License. +@ignore + arch-tag: d00ac830-e120-41fb-bbc5-7ca3eeaa227f +@end ignore |