diff options
| author | jao <jao@gnu.org> | 2019-10-12 16:22:14 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-10-12 16:22:14 +0100 |
| commit | fe803b2638a46cd238c2be1fc666032e587b3089 (patch) | |
| tree | 7eb5d67894771ec6d4c21d0767584520e1ed74d5 /src/Xmobar/Plugins/PipeReader.hs | |
| parent | 5be73cdc459f54c57382cbcf6eeb6e9937a0c822 (diff) | |
| download | xmobar-fe803b2638a46cd238c2be1fc666032e587b3089.tar.gz xmobar-fe803b2638a46cd238c2be1fc666032e587b3089.tar.bz2 | |
Replacing the cute <> operator to make GHC 8.0/8.2 happy
Diffstat (limited to 'src/Xmobar/Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions