diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-07-19 22:11:52 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-07-19 22:11:52 +0200 |
| commit | f24d03d994c59dd9d91fd280272254eeb6a03b19 (patch) | |
| tree | 6b87ad127ee1ee7da0cdf69f97c90f36558f8753 /src/Plugins/BufferedPipeReader.hs | |
| parent | bbaba37197a2d2c975abb5bbef350bba71cbb526 (diff) | |
| download | xmobar-f24d03d994c59dd9d91fd280272254eeb6a03b19.tar.gz xmobar-f24d03d994c59dd9d91fd280272254eeb6a03b19.tar.bz2 | |
Nit in StatFS
Diffstat (limited to 'src/Plugins/BufferedPipeReader.hs')
0 files changed, 0 insertions, 0 deletions