diff options
| author | jao <jao@gnu.org> | 2018-12-10 20:32:37 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-12-10 20:32:37 +0000 |
| commit | 641ea157746422523a43374ce8cba0102a5a5082 (patch) | |
| tree | 16ab20e64621ce229575220004b73311a8397ec5 /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | 62185dcfff0edb3aae1aa0715d6bfa3cfbee07fc (diff) | |
| download | xmobar-641ea157746422523a43374ce8cba0102a5a5082.tar.gz xmobar-641ea157746422523a43374ce8cba0102a5a5082.tar.bz2 | |
0.29.30.29.3
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions