Fix bug: previous loader depended on MITSCHEME_INF_DIRECTORY being
authorChris Hanson <org/chris-hanson/cph>
Mon, 30 Apr 2001 02:44:35 +0000 (02:44 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 30 Apr 2001 02:44:35 +0000 (02:44 +0000)
commit1e0d33206bf804919078a7b5a2fbb01552f3191e
treeecd4310c508785882989c759deab04404cd59b59
parentc76070f44b8d7ba27798a098684b9e8ed3114e60
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