diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-12-30 17:34:49 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-12-30 17:34:49 +0100 |
| commit | e8f9e881d37536954f24d73b29cbccf86341c3d3 (patch) | |
| tree | d01a8a28414a914769b1cf3845a7ea2382800605 /src/Plugins/Monitors/Mem.hs | |
| parent | 79fcef645f2448a4ba920c8ccfede43ef17e873b (diff) | |
| download | xmobar-e8f9e881d37536954f24d73b29cbccf86341c3d3.tar.gz xmobar-e8f9e881d37536954f24d73b29cbccf86341c3d3.tar.bz2 | |
Fix for time estimation when using the previous workaround
Diffstat (limited to 'src/Plugins/Monitors/Mem.hs')
0 files changed, 0 insertions, 0 deletions