[gnome-builder] plugins/deviceui: remove deviceui plugin
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/deviceui: remove deviceui plugin
- Date: Tue, 12 Jul 2022 06:39:15 +0000 (UTC)
commit cc1e698aae7a69dd3dc89b7d6ef35d073bd5c05c
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 11 22:32:43 2022 -0700
plugins/deviceui: remove deviceui plugin
This is no longer necessary with the new design.
src/plugins/deviceui/deviceui-plugin.c | 36 ------
src/plugins/deviceui/deviceui.gresource.xml | 6 -
src/plugins/deviceui/deviceui.plugin | 11 --
.../deviceui/gbp-deviceui-workspace-addin.c | 128 ---------------------
.../deviceui/gbp-deviceui-workspace-addin.h | 31 -----
src/plugins/deviceui/meson.build | 12 --
6 files changed, 224 deletions(-)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]