CREF loader not needed after all.
authorChris Hanson <org/chris-hanson/cph>
Mon, 16 Oct 2000 18:16:24 +0000 (18:16 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 16 Oct 2000 18:16:24 +0000 (18:16 +0000)
commit6439f68b3c4dbb7b2e40664f4a93ceac150e3863
tree0619bb38384333494e0b3d8eab31a6cb81143552
parent2367ad963ebb02ec80b0c0331416d39798ddd985
CREF loader not needed after all.
v7/src/etc/optiondb.scm