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. --- sorbot.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sorbot.cabal') diff --git a/sorbot.cabal b/sorbot.cabal index 62de431..7d23d3f 100644 --- a/sorbot.cabal +++ b/sorbot.cabal @@ -21,11 +21,11 @@ library , IRC , Message , Plugin + , PluginList , Plugin.Base , Plugin.GitHubCommit , Plugin.GitRemoteSetOrigin , Plugin.Help - , Plugin.PluginList build-depends: base >= 4.7 && < 5 , bytestring , irc-client -- cgit v1.2.3