diff options
| author | jao <jao@gnu.org> | 2019-04-23 23:09:25 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-04-23 23:12:53 +0100 |
| commit | 0ff8f6a7d6c775efa35698e067b4dd6c036ee2cd (patch) | |
| tree | 5e1a3000a6d3bd92cabc06041bc94f57c0fa1893 /src/Xmobar/Plugins/EWMH.hs | |
| parent | 7122b1e33a0078f93f21e77e2c0c985391d1d412 (diff) | |
| download | xmobar-0ff8f6a7d6c775efa35698e067b4dd6c036ee2cd.tar.gz xmobar-0ff8f6a7d6c775efa35698e067b4dd6c036ee2cd.tar.bz2 | |
Web makefile
Diffstat (limited to 'src/Xmobar/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions