diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-06-04 02:37:26 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-06-04 02:37:26 +0200 |
| commit | b465bbffb9d15dd76cd9d0c46e098ee60ace4f20 (patch) | |
| tree | 9b74716c616ec4d477d15c6c0c370b6da2755440 /src/Plugins/EWMH.hs | |
| parent | c87df01f1d1eef7ccd5fb1d03282c6cdb341ce5b (diff) | |
| download | xmobar-b465bbffb9d15dd76cd9d0c46e098ee60ace4f20.tar.gz xmobar-b465bbffb9d15dd76cd9d0c46e098ee60ace4f20.tar.bz2 | |
Added --with_threaded configuration flag
Fixes #36
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions