diff options
author | jao <jao@gnu.org> | 2018-11-30 01:46:14 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-11-30 01:46:14 +0000 |
commit | fa681551411e8c74e6462f6997c37fcc38335d4d (patch) | |
tree | 1cae95d28275936270778daa755e17d7a5df7c2b /src/Plugins/EWMH.hs | |
parent | 4432e942ac409fa359579bd2e5b546474503a002 (diff) | |
download | xmobar-fa681551411e8c74e6462f6997c37fcc38335d4d.tar.gz xmobar-fa681551411e8c74e6462f6997c37fcc38335d4d.tar.bz2 |
XMobar.App.Opts
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions