From b6384be33f3fe52432075f80ff1fcdf42dcc90a0 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sat, 16 Feb 2019 12:13:43 -0700 Subject: [PATCH] src/etc/optiondb.scm: Remove all plugins (acquire by a merge?). --- src/etc/optiondb.scm | 12 ------------ 1 file changed, 12 deletions(-) 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")) -- 2.25.1