diff options
| author | jao <jao@gnu.org> | 2020-05-19 19:38:59 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-05-19 19:38:59 +0100 |
| commit | b15bb7c20b11a9f148c4757caba7167ee66492fc (patch) | |
| tree | f8e36a421271a56581feac0a877813501fb0e436 /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | ed0663aac942113a693e225dbacaa69784017976 (diff) | |
| download | xmobar-b15bb7c20b11a9f148c4757caba7167ee66492fc.tar.gz xmobar-b15bb7c20b11a9f148c4757caba7167ee66492fc.tar.bz2 | |
hlinting
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions