diff make-dist @ 19121:8fe7aa3f4ca2

(shell): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 04 Aug 1997 03:06:28 +0000
parents f0453e066438
children 2cf5e8809c8e
line wrap: on
line diff