diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-16 20:47:21 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-16 20:47:21 +0200 |
| commit | 0d36df3af375046554956c61089c766623104a79 (patch) | |
| tree | e6ecebb6df159947c2e1f0377785fad8fed8ac03 /src/Plugins/PipeReader2.hs | |
| parent | fda03ea2bf02f085cd750a4b82a1964c6e8bd138 (diff) | |
| parent | b57de3e23f36756d0ba85a10592dea02561f8b0f (diff) | |
| download | xmobar-0d36df3af375046554956c61089c766623104a79.tar.gz xmobar-0d36df3af375046554956c61089c766623104a79.tar.bz2 | |
Merging github pull request 57
Conflicts:
readme.md
Diffstat (limited to 'src/Plugins/PipeReader2.hs')
0 files changed, 0 insertions, 0 deletions