diff options
| author | Teddy Wing | 2017-08-20 10:45:23 +0200 |
|---|---|---|
| committer | Teddy Wing | 2017-08-20 10:45:23 +0200 |
| commit | d7599fd70e0918ce5871c287574a2dbb21f73f85 (patch) | |
| tree | 0dfb766ebe9b1226aade05eea0dfceb1623d4061 /src/Plugin/PluginList.hs | |
| parent | 8373264c3b0c7ad13c7e207e70f2732c9f2dbc1a (diff) | |
| download | sorbot-d7599fd70e0918ce5871c287574a2dbb21f73f85.tar.bz2 | |
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.
Diffstat (limited to 'src/Plugin/PluginList.hs')
| -rw-r--r-- | src/Plugin/PluginList.hs | 15 |
1 files changed, 0 insertions, 15 deletions
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 - ] |