Accidentally checked in configure with older date than configure.in, but I
[mmh] / etc / mhn.defaults.sh
1999-04-30 Doug MorrisInitial revision