diff options
| author | Jose A Ortega Ruiz <jao@gnu.org> | 2010-04-15 23:16:16 +0200 |
|---|---|---|
| committer | Jose A Ortega Ruiz <jao@gnu.org> | 2010-04-15 23:16:16 +0200 |
| commit | 6bbdc91ea0025e816b800ea0239287f5bf763452 (patch) | |
| tree | a8fd31967e9f920b53b7bae60963b1e6a82f14df /Plugins/PipeReader.hs | |
| parent | 316f2be0a518a21deabf26a742f0e494dddea17b (diff) | |
| download | xmobar-6bbdc91ea0025e816b800ea0239287f5bf763452.tar.gz xmobar-6bbdc91ea0025e816b800ea0239287f5bf763452.tar.bz2 | |
Some tweaks to the MBox monitor.
Ignore-this: 9d59cfdd0596e777051d318c1c5226e2
darcs-hash:20100415211616-748be-6f662a80dcd5df77707542bf4f7fc06671a424d0.gz
Diffstat (limited to 'Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions