From d7599fd70e0918ce5871c287574a2dbb21f73f85 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sun, 20 Aug 2017 10:45:23 +0200
Subject: Move `PluginList` out of `Plugin` directory

Asking for `Plugin.Plugin...` is redundant. Take this module out of the
`Plugin` directory to eliminate the repetition in naming.
---
 src/Plugin/PluginList.hs | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 src/Plugin/PluginList.hs

(limited to 'src/Plugin/PluginList.hs')

diff --git a/src/Plugin/PluginList.hs b/src/Plugin/PluginList.hs
deleted file mode 100644
index 21f3893..0000000
--- a/src/Plugin/PluginList.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-module Plugin.PluginList
-    ( plugins
-    ) where
-
-import Plugin.Base (Plugin)
-import Plugin.GitHubCommit
-import Plugin.GitRemoteSetOrigin
-
--- | The list of plugins to load, minus the Help plugin, which would otherwise
--- cause a circular import.
-plugins :: [Plugin]
-plugins =
-    [ gitHubCommit
-    , gitRemoteSetOrigin
-    ]
-- 
cgit v1.2.3