From 827c013aa7157d9c072c8490ab5bdae70343d943 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Wed, 30 Nov 2016 21:30:17 +0100
Subject: [PATCH] core: replace "core" by constant PLUGIN_CORE

---
 src/core/wee-command.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/wee-command.c b/src/core/wee-command.c
index b67ae23fd..dee891cf7 100644
--- a/src/core/wee-command.c
+++ b/src/core/wee-command.c
@@ -7169,8 +7169,8 @@ command_init ()
            "     time: measure time to execute a command or to send text to "
            "the current buffer"),
         "list"
-        " || set %(plugins_names)|core"
-        " || dump %(plugins_names)|core"
+        " || set %(plugins_names)|" PLUGIN_CORE
+        " || dump %(plugins_names)|" PLUGIN_CORE
         " || buffer"
         " || color"
         " || cursor verbose"