[gnome-builder] plugins/vagrant: remove unused plugin

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-builder] plugins/vagrant: remove unused plugin
Date: Tue, 12 Jul 2022 06:39:19 +0000 (UTC)

commit 0eb20aa04bcb708ea9404d65433e7aab4951c910
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 11 23:25:30 2022 -0700

    plugins/vagrant: remove unused plugin

 src/plugins/vagrant/gbp-vagrant-runtime-provider.c | 389 ---------------------
 src/plugins/vagrant/gbp-vagrant-runtime-provider.h |  42 ---
 src/plugins/vagrant/gbp-vagrant-runtime.c          | 231 ------------
 src/plugins/vagrant/gbp-vagrant-runtime.h          |  39 ---
 .../vagrant/gbp-vagrant-subprocess-launcher.c      | 101 ------
 .../vagrant/gbp-vagrant-subprocess-launcher.h      |  34 --
 src/plugins/vagrant/gbp-vagrant-table.c            | 129 -------
 src/plugins/vagrant/gbp-vagrant-table.h            |  46 ---
 src/plugins/vagrant/meson.build                    |  19 -
 src/plugins/vagrant/vagrant-plugin.c               |  36 --
 src/plugins/vagrant/vagrant.gresource.xml          |   6 -
 src/plugins/vagrant/vagrant.plugin                 |   9 -
 12 files changed, 1081 deletions(-)

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