diff configure.in @ 15933:9df952241adc

(shell-mode): Don't assume /dev/null is its own truename.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Aug 1996 15:33:13 +0000
parents efee374bede6
children 0bfc53371444
line wrap: on
line diff