diff options
Diffstat (limited to 'devel/gvd/files/patch-docs::gvd.info')
| -rw-r--r-- | devel/gvd/files/patch-docs::gvd.info | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/devel/gvd/files/patch-docs::gvd.info b/devel/gvd/files/patch-docs::gvd.info deleted file mode 100644 index 996b99781ef7..000000000000 --- a/devel/gvd/files/patch-docs::gvd.info +++ /dev/null @@ -1,13 +0,0 @@ ---- docs/gvd.info.orig Sun Jul 7 20:03:26 2002 -+++ docs/gvd.info Sun Jul 7 20:03:58 2002 -@@ -1,5 +1,10 @@ - This is gvd.info, produced by makeinfo version 4.0 from gvd.texi. - -+INFO-DIR-SECTION Programming -+START-INFO-DIR-ENTRY -+* gvd: (gvd). The GNU Debugger. -+END-INFO-DIR-ENTRY -+ - - File: gvd.info, Node: Top, Next: Introduction, Prev: (dir), Up: (dir) - |