diff make-dist @ 1801:dd8e5024b4f9

(shell): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 15 Jan 1993 07:02:35 +0000
parents a1f3c3317dd4
children c97e3a38444c
line wrap: on
line diff