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/Mem.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/Mem.hs')
0 files changed, 0 insertions, 0 deletions