diff options
| author | jao <jao@gnu.org> | 2019-01-12 19:05:06 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-01-12 19:05:06 +0000 |
| commit | e2c997b5e2d4589d5a4710049734a0a03048363d (patch) | |
| tree | ae1ce70c675af91b249fcba063e569d652172c9f /src/Xmobar/Plugins/Monitors/Top.hs | |
| parent | c05854f93a24ca7bdd0d73a532435f1901b05792 (diff) | |
| download | xmobar-e2c997b5e2d4589d5a4710049734a0a03048363d.tar.gz xmobar-e2c997b5e2d4589d5a4710049734a0a03048363d.tar.bz2 | |
Honour flags when no config file is available (fixes #375)
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions