diff options
| author | jao <jao@gnu.org> | 2020-10-09 17:51:07 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-10-09 17:51:07 +0100 |
| commit | 407866c433735e510b6bde2d06e2a18cff22c470 (patch) | |
| tree | f7f73bc4f30f52844f5582c321e97d0375dce1b2 /src/Xmobar/Plugins/EWMH.hs | |
| parent | e71512b7c961ab379aee98c2f4d65ad4bdd3c5bf (diff) | |
| download | xmobar-407866c433735e510b6bde2d06e2a18cff22c470.tar.gz xmobar-407866c433735e510b6bde2d06e2a18cff22c470.tar.bz2 | |
hlinting
Diffstat (limited to 'src/Xmobar/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions