summaryrefslogtreecommitdiff
path: root/doc/gpl.texi
diff options
context:
space:
mode:
authorYoni Rabkin <yoni@rabkins.net>2020-08-05 17:22:31 -0400
committerYoni Rabkin <yoni@rabkins.net>2020-08-05 17:22:31 -0400
commit84ce235f133459dd06c2d1a0a1c6e0d90f5770f1 (patch)
tree3be6b75126072fbc9eac198aa52308d9bacfa6b8 /doc/gpl.texi
parent0fc4737bd6fee2b621eb21963e693b2be99831da (diff)
Syncronize with Stefan's changes
Diffstat (limited to 'doc/gpl.texi')
-rw-r--r--doc/gpl.texi1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/gpl.texi b/doc/gpl.texi
index 48d43f9..dc22d67 100644
--- a/doc/gpl.texi
+++ b/doc/gpl.texi
@@ -1,5 +1,4 @@
@node Copying, The GNU FDL, Local Storage, Top
-@chapter The GNU General Public License.
@c The GNU General Public License.
@center Version 3, 29 June 2007