diff options
Diffstat (limited to 'editors/jed/files/patch-info_jed.info')
| -rw-r--r-- | editors/jed/files/patch-info_jed.info | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/editors/jed/files/patch-info_jed.info b/editors/jed/files/patch-info_jed.info new file mode 100644 index 000000000000..d429bb6ebc40 --- /dev/null +++ b/editors/jed/files/patch-info_jed.info @@ -0,0 +1,14 @@ +--- info/jed.info.orig Thu Apr 28 15:48:43 2005 ++++ info/jed.info Thu Apr 28 15:54:22 2005 +@@ -1,6 +1,11 @@ + This is Info file jed.info, produced by Makeinfo-1.55 from the input + file jed.ti. + ++INFO-DIR-SECTION Miscellaneous ++START-INFO-DIR-ENTRY ++* JED: (jed). JED editor documentation. ++END-INFO-DIR-ENTRY ++ + + Indirect: + jed.1in: 83 |