diff make-dist @ 21726:1771dc61b028

(Fcommand_execute): Truncate command-history here.
author Richard M. Stallman <rms@gnu.org>
date Thu, 23 Apr 1998 21:25:55 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff