diff options
| author | jao <jao@gnu.org> | 2016-05-05 06:12:08 +0200 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2016-05-05 06:12:08 +0200 |
| commit | 1e9d5e4e99c9a737a8ffea602ea10d6e0f17b3de (patch) | |
| tree | dc0a847b0caff77521a356a0b6e19fee35db13ea /src/Plugins/PipeReader.hs | |
| parent | a2ed4f38c415259040d3e7513e72c1fab018feb1 (diff) | |
| download | xmobar-1e9d5e4e99c9a737a8ffea602ea10d6e0f17b3de.tar.gz xmobar-1e9d5e4e99c9a737a8ffea602ea10d6e0f17b3de.tar.bz2 | |
Batt: reading status more robustly
Diffstat (limited to 'src/Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions