]> git.pld-linux.org Git - packages/jed.git/commitdiff
- info index entry.
authorkloczek <kloczek@pld-linux.org>
Thu, 22 Feb 2001 14:00:42 +0000 (14:00 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    jed-info.patch -> 1.1

jed-info.patch [new file with mode: 0644]

diff --git a/jed-info.patch b/jed-info.patch
new file mode 100644 (file)
index 0000000..8268dba
--- /dev/null
@@ -0,0 +1,13 @@
+--- jed/info/jed.info.entry    Sat Feb  5 11:10:19 2000
++++ jed/info/jed.info  Sat Feb  5 11:11:11 2000
+@@ -1,6 +1,10 @@
+ This is Info file jed.info, produced by Makeinfo-1.55 from the input
+ file jed.ti.
++START-INFO-DIR-ENTRY
++* JED: (jed).                         The JED editor
++END-INFO-DIR-ENTRY
++
\1f
+ Indirect:
+ jed.1in: 83
This page took 0.060348 seconds and 4 git commands to generate.