[gnome-builder] build: remove some plugin options
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] build: remove some plugin options
- Date: Tue, 12 Jul 2022 06:39:21 +0000 (UTC)
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]