[gnome-builder] plugins/editorconfig: update plugin definition
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/editorconfig: update plugin definition
- Date: Tue, 12 Jul 2022 06:39:15 +0000 (UTC)
commit 891992dd822d71fbed214ecd73472e2f1873ee20
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 11 22:38:18 2022 -0700
plugins/editorconfig: update plugin definition
src/plugins/editorconfig/editorconfig.plugin | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/editorconfig/editorconfig.plugin b/src/plugins/editorconfig/editorconfig.plugin
index 3bb96bde9..7c1ca0c53 100644
--- a/src/plugins/editorconfig/editorconfig.plugin
+++ b/src/plugins/editorconfig/editorconfig.plugin
@@ -2,8 +2,8 @@
Authors=Christian Hergert <christian hergert me>
Builtin=true
Copyright=Copyright © 2014-2018 Christian Hergert
-Depends=editor;
Description=Editorconfig integration
Embedded=_gbp_editorconfig_register_types
Module=editorconfig
Name=Editorconfig
+X-Category=editing
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]