diff options
author | Simon Josefsson <simon@josefsson.org> | 2006-09-21 13:31:41 +0000 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2006-09-21 13:31:41 +0000 |
commit | b612bbae135f4a8e7babc0af2c327d1e8c685802 (patch) | |
tree | a0917e928c92e993eb1fa74166256dd82739c467 /gl/override | |
parent | 1afb765cbe8e33b5e93d737d3f40228ac4683ba3 (diff) | |
download | gnutls-b612bbae135f4a8e7babc0af2c327d1e8c685802.tar.gz |
Rename.
Diffstat (limited to 'gl/override')
-rw-r--r-- | gl/override/gpl.diff | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gl/override/gpl.diff b/gl/override/gpl.diff deleted file mode 100644 index 5e52212631..0000000000 --- a/gl/override/gpl.diff +++ /dev/null @@ -1,17 +0,0 @@ -Index: gpl.texi -=================================================================== -RCS file: /sources/gnulib/gnulib/doc/gpl.texi,v -retrieving revision 1.6 -diff -u -p -r1.6 gpl.texi ---- gpl.texi 17 Sep 2006 22:00:25 -0000 1.6 -+++ gpl.texi 21 Sep 2006 13:24:46 -0000 -@@ -1,6 +1,7 @@ --@node Copying --@unnumbered GNU General Public License -+@node GNU GPL -+@appendixsec GNU General Public License - @cindex GPL, GNU General Public License -+@cindex License, GNU GPL - @center Version 2, June 1991 - - @c This file is intended to be included in another file. |