diff options
| author | jao <jao@gnu.org> | 2022-09-16 17:00:07 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-09-16 17:00:52 +0100 |
| commit | 98438363998a992ded2318d51a614c616a365f6d (patch) | |
| tree | 3bdb826e156c63a4299bbadfb87fcb9c030850b8 /src/Xmobar/Plugins/EWMH.hs | |
| parent | 684fee419fb6ee35efd28c196b0c520d800fffa9 (diff) | |
| download | xmobar-98438363998a992ded2318d51a614c616a365f6d.tar.gz xmobar-98438363998a992ded2318d51a614c616a365f6d.tar.bz2 | |
little clean-ups
Diffstat (limited to 'src/Xmobar/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions