diff options
| author | jao <jao@gnu.org> | 2019-10-12 04:40:29 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-10-12 04:40:29 +0100 |
| commit | 7f35454cc112ec24cf7381358932b7ea2ec0598d (patch) | |
| tree | 0fee2d7f9c9df9e167b01b78c17d5d3e24e79b50 /src/Xmobar/Plugins/BufferedPipeReader.hs | |
| parent | acfee33a270e19e062c67db0d47e9d4244fd34e4 (diff) | |
| download | xmobar-7f35454cc112ec24cf7381358932b7ea2ec0598d.tar.gz xmobar-7f35454cc112ec24cf7381358932b7ea2ec0598d.tar.bz2 | |
Docs format
Diffstat (limited to 'src/Xmobar/Plugins/BufferedPipeReader.hs')
0 files changed, 0 insertions, 0 deletions