diff make-dist @ 32742:7424aeb6f60d

Clean up comint entries a bit.
author Miles Bader <miles@gnu.org>
date Sun, 22 Oct 2000 10:20:30 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff