diff options
| author | jao <jao@gnu.org> | 2017-07-25 01:36:32 +0200 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2017-07-25 01:36:32 +0200 |
| commit | 0bee2f0ba485c663b357c2c8d3cd10bf44b814db (patch) | |
| tree | f2b4a27d560bfe4b8d264ccba79cc8803c78726f /src/Plugins/BufferedPipeReader.hs | |
| parent | 98e7fcda67d156720053322fe599e303b5f7a048 (diff) | |
| download | xmobar-0bee2f0ba485c663b357c2c8d3cd10bf44b814db.tar.gz xmobar-0bee2f0ba485c663b357c2c8d3cd10bf44b814db.tar.bz2 | |
Documentation fix (closes #306)
Diffstat (limited to 'src/Plugins/BufferedPipeReader.hs')
0 files changed, 0 insertions, 0 deletions