Fix bug: previous loader depended on MITSCHEME_INF_DIRECTORY being
authorChris Hanson <org/chris-hanson/cph>
Mon, 30 Apr 2001 02:45:59 +0000 (02:45 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 30 Apr 2001 02:45:59 +0000 (02:45 +0000)
commit2d12fae1678e497fc4a92bd73ad8260fc2b8db83
tree3c3abf64372ca036b78ad2934d7274cb86b8aa91
parent1e0d33206bf804919078a7b5a2fbb01552f3191e
Fix bug: previous loader depended on MITSCHEME_INF_DIRECTORY being
set.  I used to set this and didn't notice, but these days I don't set
it.
v7/src/etc/optiondb.scm