diff options
| author | jao <jao@gnu.org> | 2015-01-07 04:50:19 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2015-01-07 04:50:19 +0100 |
| commit | fea0dbe8726a61ac52ca0bd41f12785b6eacd367 (patch) | |
| tree | 10b0b8b7b8728e2554fc155e501fce8db0a4a547 /src/Plugins/MarqueePipeReader.hs | |
| parent | 850a3e8a8b5f183190d7f34c78b1c7979f916979 (diff) | |
| download | xmobar-fea0dbe8726a61ac52ca0bd41f12785b6eacd367.tar.gz xmobar-fea0dbe8726a61ac52ca0bd41f12785b6eacd367.tar.bz2 | |
Honoring multiple fonts in the last fix
Diffstat (limited to 'src/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions