diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
| commit | 0d9f702fd085bc8ad560a3e1f08d5e93054a5d33 (patch) | |
| tree | 8f7f07c160e5878c775fc6c2bb5ec912a164448e /doc/lispref/gpl.texi | |
| parent | 2153c86209ef95a34f3a80f7a1f72d5fade18c21 (diff) | |
| download | emacs-0d9f702fd085bc8ad560a3e1f08d5e93054a5d33.tar.gz | |
Nuke arch-tags.
Diffstat (limited to 'doc/lispref/gpl.texi')
| -rw-r--r-- | doc/lispref/gpl.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/gpl.texi b/doc/lispref/gpl.texi index 163af4627bb..244f3330d44 100644 --- a/doc/lispref/gpl.texi +++ b/doc/lispref/gpl.texi @@ -721,7 +721,3 @@ library, you may 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. But first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. - -@ignore - arch-tag: d00ac830-e120-41fb-bbc5-7ca3eeaa227f -@end ignore |