diff options
| author | jao <jao@gnu.org> | 2018-02-01 04:02:30 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-02-01 04:02:30 +0100 |
| commit | 520ef2874fefbbd20368b6f8f6b3e605e824b64d (patch) | |
| tree | d543bfa43b5fa2932e6cbbbfab6b2ac51e36fb88 /src/Plugins/EWMH.hs | |
| parent | 24a0e205a14bac2583c7a57ea261ea0ba24c6d9b (diff) | |
| download | xmobar-520ef2874fefbbd20368b6f8f6b3e605e824b64d.tar.gz xmobar-520ef2874fefbbd20368b6f8f6b3e605e824b64d.tar.bz2 | |
Doc nits
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions