diff options
| author | Jose A Ortega Ruiz <jao@gnu.org> | 2010-03-26 04:09:56 +0100 |
|---|---|---|
| committer | Jose A Ortega Ruiz <jao@gnu.org> | 2010-03-26 04:09:56 +0100 |
| commit | 9778203cf27e77a9ba6620423395a04642a640b7 (patch) | |
| tree | a71fd48fccd37a89382144d39981ee4452b3c60d /Plugins/PipeReader.hs | |
| parent | f6b0e885b7359f60d6da826b3bf8ca4301bb5f8c (diff) | |
| download | xmobar-9778203cf27e77a9ba6620423395a04642a640b7.tar.gz xmobar-9778203cf27e77a9ba6620423395a04642a640b7.tar.bz2 | |
Less resource hungry Top monitors.
Ignore-this: f963302295a675773ab3bfd54e458a0d
darcs-hash:20100326030956-748be-df70f254d1274a3f4b576df392cf6c30a0f1f582.gz
Diffstat (limited to 'Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions