Add option for CREF.
authorChris Hanson <org/chris-hanson/cph>
Mon, 16 Oct 2000 17:56:29 +0000 (17:56 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 16 Oct 2000 17:56:29 +0000 (17:56 +0000)
commit0607553d6fa256312630373bf3ee191bfa741421
tree194e3ee5f21b6de83348be9b994559121ef0546e
parentb9638936ae6f3d6692ff758e10f37898b1a6d9b0
Add option for CREF.
v7/dist/optiondb.scm