diff options
| author | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
| commit | f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07 (patch) | |
| tree | ba34733d783dfcb65234ed835deac13a9a9c100e /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | b12fe3ebdaf3a4a539b85f742a582925d7e811f1 (diff) | |
| download | xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.gz xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.bz2 | |
doc, examples
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions