diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-02-13 05:36:56 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-02-13 05:36:56 +0100 |
| commit | 7fd27dda0d4b06163c2c05e4b602929985db3c93 (patch) | |
| tree | 35aea007751ce88e7e7d75d9d9ebb2c364805519 | |
| parent | 6682feedfe5d83e46ec7c942fac22c058f9eace1 (diff) | |
| download | xmobar-7fd27dda0d4b06163c2c05e4b602929985db3c93.tar.gz xmobar-7fd27dda0d4b06163c2c05e4b602929985db3c93.tar.bz2 | |
Nit
| -rw-r--r-- | src/Plugins/Monitors/Common.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Plugins/Monitors/Common.hs b/src/Plugins/Monitors/Common.hs index f2801f9..02eb6e1 100644 --- a/src/Plugins/Monitors/Common.hs +++ b/src/Plugins/Monitors/Common.hs @@ -1,14 +1,15 @@ ----------------------------------------------------------------------------- -- | -- Module : Plugins.Monitors.Common --- Copyright : (c) Andrea Rossato +-- Copyright : (c) 2010, 2011 Jose Antonio Ortega Ruiz +-- (c) 2007-2010 Andrea Rossato -- License : BSD-style (see LICENSE) -- -- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org> -- Stability : unstable -- Portability : unportable -- --- Utilities for creating monitors for Xmobar +-- Utilities used by xmobar's monitors -- ----------------------------------------------------------------------------- |