diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-14 20:54:43 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-14 20:54:43 +0100 |
| commit | d6cd9d7c55a15450efed8dcd70d8eb70fe6cc002 (patch) | |
| tree | d32be9797fb184bce8e8c18804f2b859f40ff57b /src/Plugins/Monitors/Top.hs | |
| parent | 06ebadd3cc322c2a85e6c36730f24b994797d8c2 (diff) | |
| download | xmobar-d6cd9d7c55a15450efed8dcd70d8eb70fe6cc002.tar.gz xmobar-d6cd9d7c55a15450efed8dcd70d8eb70fe6cc002.tar.bz2 | |
Documentation fix
Diffstat (limited to 'src/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions