From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sat, 16 Feb 2019 19:13:43 +0000 (-0700)
Subject: src/etc/optiondb.scm: Remove all plugins (acquire by a merge?).
X-Git-Tag: mit-scheme-pucked-10.1.10~3
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=b6384be33f3fe52432075f80ff1fcdf42dcc90a0;p=mit-scheme.git

src/etc/optiondb.scm: Remove all plugins (acquire by a merge?).
---

diff --git a/src/etc/optiondb.scm b/src/etc/optiondb.scm
index 2e57e9b66..d1497e291 100644
--- a/src/etc/optiondb.scm
+++ b/src/etc/optiondb.scm
@@ -93,15 +93,9 @@ USA.
 (define-load-option 'cref
   (guarded-system-loader '(cross-reference) "cref"))
 
-(define-load-option 'edwin
-  (guarded-system-loader '(edwin) "edwin"))
-
 (define-load-option 'ffi
   (guarded-system-loader '(ffi) "ffi"))
 
-(define-load-option 'imail
-  (guarded-system-loader '(edwin imail) "imail"))
-
 (define-load-option '*parser
   (guarded-system-loader '(runtime *parser) "star-parser"))
 
@@ -120,12 +114,6 @@ USA.
 (define-load-option 'win32
   (guarded-system-loader '(win32) "win32"))
 
-(define-load-option 'x11
-  (guarded-system-loader '(x11) "x11"))
-
-(define-load-option 'x11-screen
-  (guarded-system-loader '(edwin screen x11-screen) "x11-screen"))
-
 (define-load-option 'xdoc
   (guarded-system-loader '(runtime ssp xdoc) "xdoc"))