diff options
| author | jao <jao@gnu.org> | 2017-02-23 00:54:19 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2017-02-23 00:55:43 +0100 |
| commit | dfb5dbd6cc5342348fbb46bd117c226d5e8127e4 (patch) | |
| tree | 54428c169637696931e90f20a21d38565a4de8b1 /src/Plugins/Monitors/CatInt.hs | |
| parent | f11241d951fd3c32b1ed835c85585d7f1022d61d (diff) | |
| download | xmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.gz xmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.bz2 | |
Compiling with --with-rtsopts=-V0 to reduce wakeups (issue #89)
Diffstat (limited to 'src/Plugins/Monitors/CatInt.hs')
0 files changed, 0 insertions, 0 deletions