Fix bug: package name for SOS was wrong.
authorChris Hanson <org/chris-hanson/cph>
Tue, 22 Jan 2002 18:44:03 +0000 (18:44 +0000)
committerChris Hanson <org/chris-hanson/cph>
Tue, 22 Jan 2002 18:44:03 +0000 (18:44 +0000)
commitde2aa1e1b35f654722147603a5802f85f5701350
tree543c6ae188bf17d2077d8bf076b5b65223e0cbe7
parent2be84278ccbc5f6c226b2934dded2368df579d07
Fix bug: package name for SOS was wrong.
v7/src/etc/optiondb.scm