From b1f8f7ea1ce4732f03bf0204285da50f87982ddd Mon Sep 17 00:00:00 2001 From: Unrud Date: Thu, 23 Aug 2018 17:12:35 +0200 Subject: [PATCH] rename _dummy to _disabled --- plugin_portal_dummy.go => plugin_portal_disabled.go | 0 plugin_windows_dummy.go => plugin_windows_disabled.go | 0 plugin_x11_dummy.go => plugin_x11_disabled.go | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename plugin_portal_dummy.go => plugin_portal_disabled.go (100%) rename plugin_windows_dummy.go => plugin_windows_disabled.go (100%) rename plugin_x11_dummy.go => plugin_x11_disabled.go (100%) diff --git a/plugin_portal_dummy.go b/plugin_portal_disabled.go similarity index 100% rename from plugin_portal_dummy.go rename to plugin_portal_disabled.go diff --git a/plugin_windows_dummy.go b/plugin_windows_disabled.go similarity index 100% rename from plugin_windows_dummy.go rename to plugin_windows_disabled.go diff --git a/plugin_x11_dummy.go b/plugin_x11_disabled.go similarity index 100% rename from plugin_x11_dummy.go rename to plugin_x11_disabled.go