diff options
| author | jao <jao@gnu.org> | 2020-11-18 06:36:19 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-11-18 06:36:19 +0000 |
| commit | 1b157582357a0a6612ff59b49fb46116bd1c3a44 (patch) | |
| tree | 178752c91c06ac633f761f87e95f671fb9d2b92c /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | 1f082f1bc819f7ede8b4f4200beb85eb078b5526 (diff) | |
| download | xmobar-1b157582357a0a6612ff59b49fb46116bd1c3a44.tar.gz xmobar-1b157582357a0a6612ff59b49fb46116bd1c3a44.tar.bz2 | |
clean-ups for web page generation
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions