Renamed summary.out -> summary.texinfo.
authorroland <roland>
Mon, 10 Feb 1992 08:03:56 +0000 (08:03 +0000)
committerroland <roland>
Mon, 10 Feb 1992 08:03:56 +0000 (08:03 +0000)
commit78e174a92eb354d9c89d536959ba7afe04ad8137
treee162619569d400bdd645ea93aa9030a78d3b7df4
parentdda17ac44fbd52610b10a76a2d9054fafdf43655
Renamed summary.out -> summary.texinfo.
manual/header.texi