diff options
| author | jao <jao@gnu.org> | 2020-11-18 05:51:47 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-11-18 05:51:47 +0000 |
| commit | 1f082f1bc819f7ede8b4f4200beb85eb078b5526 (patch) | |
| tree | 440f5352faf2e67f5aa613428e54bc6fd1bb7d95 /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | 947360ee11bff3055d0ae31599fcc97a1c892c3e (diff) | |
| download | xmobar-1f082f1bc819f7ede8b4f4200beb85eb078b5526.tar.gz xmobar-1f082f1bc819f7ede8b4f4200beb85eb078b5526.tar.bz2 | |
Wee tidy-ups
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions