diff options
author | jao <jao@gnu.org> | 2018-12-01 02:51:08 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-12-01 02:51:08 +0000 |
commit | 63dd6723703c0fc57cf863a974993c6b66e019bc (patch) | |
tree | b7b678fac7e03251d745be07185b7091d74921de /Plugins/Monitors | |
parent | a9df65ad952251d2f0c837add0cfe4626d321bf8 (diff) | |
download | xmobar-63dd6723703c0fc57cf863a974993c6b66e019bc.tar.gz xmobar-63dd6723703c0fc57cf863a974993c6b66e019bc.tar.bz2 |
Propagating RTS compilation flags to recompile
Diffstat (limited to 'Plugins/Monitors')
0 files changed, 0 insertions, 0 deletions