Ignore `$BASH_ENV' as it is misleading on RHEL3 `bash-2.05b-41.7.i386'.
[nethome.git] / bin / mr
2001-10-02 shortImported scripts for make/gdb integration