summaryrefslogtreecommitdiff
path: root/gl/override
diff options
context:
space:
mode:
authorSimon Josefsson <simon@josefsson.org>2006-09-21 13:31:41 +0000
committerSimon Josefsson <simon@josefsson.org>2006-09-21 13:31:41 +0000
commitb612bbae135f4a8e7babc0af2c327d1e8c685802 (patch)
treea0917e928c92e993eb1fa74166256dd82739c467 /gl/override
parent1afb765cbe8e33b5e93d737d3f40228ac4683ba3 (diff)
downloadgnutls-b612bbae135f4a8e7babc0af2c327d1e8c685802.tar.gz
Rename.
Diffstat (limited to 'gl/override')
-rw-r--r--gl/override/gpl.diff17
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.