diff options
author | John Soros <johnny@r0x0r.me> | 2012-10-11 18:15:20 +0200 |
---|---|---|
committer | John Soros <johnny@r0x0r.me> | 2012-10-11 18:15:20 +0200 |
commit | e1a5d4b5f96a421be13935166b566ba061fed806 (patch) | |
tree | 468105bd2fea4d5a88675ef608002692e3d3ef69 /src/Plugins/Monitors/Top.hs | |
parent | b683b474fa5b8cbb29704f88f7a43f8084dd8070 (diff) | |
download | xmobar-e1a5d4b5f96a421be13935166b566ba061fed806.tar.gz xmobar-e1a5d4b5f96a421be13935166b566ba061fed806.tar.bz2 |
Fix for #73: third try: retain old behaviour for diskU, use device for diskIO if device is not mounted
Diffstat (limited to 'src/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions