diff options
author | Felix Springer <felixspringer149@gmail.com> | 2019-07-10 19:04:30 +0200 |
---|---|---|
committer | Felix Springer <felixspringer149@gmail.com> | 2019-07-10 19:04:30 +0200 |
commit | f0ff12bc2d9e16a93f8fa9325fc1bd6d44d16e0b (patch) | |
tree | ed49b71712ede39a1a5cd2d4c16b1cd06d777b2b /src/Xmobar/Plugins/BufferedPipeReader.hs | |
parent | aa657511d97356fdd6339da7a199d2a425c8c13b (diff) | |
download | xmobar-f0ff12bc2d9e16a93f8fa9325fc1bd6d44d16e0b.tar.gz xmobar-f0ff12bc2d9e16a93f8fa9325fc1bd6d44d16e0b.tar.bz2 |
properly indented runCoreTemp
Diffstat (limited to 'src/Xmobar/Plugins/BufferedPipeReader.hs')
0 files changed, 0 insertions, 0 deletions