diff options
Diffstat (limited to 'editors/jed/files/patch-info_jed.3in')
| -rw-r--r-- | editors/jed/files/patch-info_jed.3in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/editors/jed/files/patch-info_jed.3in b/editors/jed/files/patch-info_jed.3in new file mode 100644 index 000000000000..c25a288e286a --- /dev/null +++ b/editors/jed/files/patch-info_jed.3in @@ -0,0 +1,14 @@ +--- info/jed.3in.orig Thu Apr 28 15:49:03 2005 ++++ info/jed.3in Thu Apr 28 15:55:09 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 ++ + + File: jed.info, Node: Setting Keys, Next: Predefined Variables, Up: Customization + |