diff configure1.in @ 8111:04ba433263d8

(shell-mode): Don't read history from /dev/null.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Jul 1994 20:45:59 +0000
parents edcb7fcf3f28
children bc485f942c5e
line wrap: on
line diff