diff options
| author | jao <jao@gnu.org> | 2018-02-18 22:38:51 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-02-18 22:38:51 +0100 |
| commit | e154d88e03e05b2dad34408b05ed944024036ba5 (patch) | |
| tree | a49a3f706413af4f93a077254b762901ba50d998 /src/Plugins/PipeReader.hs | |
| parent | 3aed229c30d1562f0e29748a78362cdd3722ae20 (diff) | |
| download | xmobar-e154d88e03e05b2dad34408b05ed944024036ba5.tar.gz xmobar-e154d88e03e05b2dad34408b05ed944024036ba5.tar.bz2 | |
Batt: Try also "BAT" (fixes #338)
Diffstat (limited to 'src/Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions