[gnome-builder] build: remove some plugin options



commit 751e34293e42cf3fab7c14748cad4f3c05139f41
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 11 23:33:24 2022 -0700

    build: remove some plugin options

 meson_options.txt | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index 700d110e9..7b0ec1ce4 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -37,7 +37,6 @@ option('plugin_code_index', type: 'boolean')
 option('plugin_color_picker', type: 'boolean')
 option('plugin_copyright', type: 'boolean')
 option('plugin_ctags', type: 'boolean')
-option('plugin_devhelp', type: 'boolean')
 option('plugin_deviced', type: 'boolean', value: false)
 option('plugin_dspy', type: 'boolean')
 option('plugin_editorconfig', type: 'boolean')
@@ -71,7 +70,6 @@ option('plugin_npm', type: 'boolean')
 option('plugin_phpize', type: 'boolean')
 option('plugin_podman', type: 'boolean')
 option('plugin_pygi', type: 'boolean')
-option('plugin_python_pack', type: 'boolean')
 option('plugin_qemu', type: 'boolean')
 option('plugin_quick_highlight', type: 'boolean')
 option('plugin_retab', type: 'boolean')


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]