diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-29 00:37:26 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-29 00:37:26 +0200 |
| commit | 3c16b5343e4d4b5b6f4008603a1c4a9bfff1ec92 (patch) | |
| tree | ac7bf769bfecc3bf7faddd5e04bf1d84d510091e /src/Plugins/EWMH.hs | |
| parent | 81a231f9fc126edb1cf3f0e030b6846321431a82 (diff) | |
| download | xmobar-3c16b5343e4d4b5b6f4008603a1c4a9bfff1ec92.tar.gz xmobar-3c16b5343e4d4b5b6f4008603a1c4a9bfff1ec92.tar.bz2 | |
Battery: some divisions by zero eliminated
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions