diff options
author | Yoni Rabkin <yoni@rabkins.net> | 2020-08-05 17:22:31 -0400 |
---|---|---|
committer | Yoni Rabkin <yoni@rabkins.net> | 2020-08-05 17:22:31 -0400 |
commit | 84ce235f133459dd06c2d1a0a1c6e0d90f5770f1 (patch) | |
tree | 3be6b75126072fbc9eac198aa52308d9bacfa6b8 /doc/gpl.texi | |
parent | 0fc4737bd6fee2b621eb21963e693b2be99831da (diff) |
Syncronize with Stefan's changes
Diffstat (limited to 'doc/gpl.texi')
-rw-r--r-- | doc/gpl.texi | 1 |
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 |