diff options
| author | jao <jao@gnu.org> | 2018-11-21 23:51:41 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-11-21 23:51:41 +0000 |
| commit | 50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d (patch) | |
| tree | a710ee9a8e9ea9e46951d371af29081e1c72f502 /src/Xmobar/Plugins.hs | |
| parent | 7674145b878fd315999558075edcfc5e09bdd91c (diff) | |
| download | xmobar-50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d.tar.gz xmobar-50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d.tar.bz2 | |
All sources moved inside src
Diffstat (limited to 'src/Xmobar/Plugins.hs')
| -rw-r--r-- | src/Xmobar/Plugins.hs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/Xmobar/Plugins.hs b/src/Xmobar/Plugins.hs deleted file mode 100644 index 75ee306..0000000 --- a/src/Xmobar/Plugins.hs +++ /dev/null @@ -1,25 +0,0 @@ ------------------------------------------------------------------------------ --- | --- Module : Xmobar.Plugins --- Copyright : (c) Andrea Rossato --- License : BSD-style (see LICENSE) --- --- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org> --- Stability : unstable --- Portability : unportable --- --- This module exports the API for plugins. --- --- Have a look at Plugins\/HelloWorld.hs --- ------------------------------------------------------------------------------ - -module Xmobar.Plugins - ( Exec (..) - , tenthSeconds - , readFileSafe - , hGetLineSafe - ) where - -import Xmobar.Commands -import Xmobar.XUtil |