diff options
| author | jao <jao@gnu.org> | 2020-05-11 19:22:41 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-05-11 19:22:41 +0100 |
| commit | 6faa17e39d7bf77df9aa199db09d52a600984271 (patch) | |
| tree | c41a1a3139a264b61a83d9979259b0cb021ed1b7 /src/Xmobar/Plugins/Monitors/Disk.hs | |
| parent | 3e9e1cb9d300e13109206496d825351c4f41cc1c (diff) | |
| download | xmobar-6faa17e39d7bf77df9aa199db09d52a600984271.tar.gz xmobar-6faa17e39d7bf77df9aa199db09d52a600984271.tar.bz2 | |
hlinting
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Disk.hs')
0 files changed, 0 insertions, 0 deletions