diff INSTALL @ 8749:db4473742de7

(commmand-line): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 15 Sep 1994 03:07:47 +0000
parents e520e9f9a8d9
children 0d3e8a3551b1
line wrap: on
line diff