diff src/config.in @ 23374:0110032de8b3

(main): Treat command line options as case-insensitive.
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 06 Oct 1998 02:59:27 +0000
parents fd2b7dede9cd
children 591cd069cbfa
line wrap: on
line diff