diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-25 04:09:57 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-25 04:28:40 +0200 |
| commit | ff867646d7b893506455fa4666c97ce7b415a4e7 (patch) | |
| tree | 3a016fbbd445c91b9ca0c4c9266cad3bc7be82ce /src/Plugins/EWMH.hs | |
| parent | 2427c39a5e369aba0f3b00577aca4ccc5e200592 (diff) | |
| download | xmobar-ff867646d7b893506455fa4666c97ce7b415a4e7.tar.gz xmobar-ff867646d7b893506455fa4666c97ce7b415a4e7.tar.bz2 | |
A bit of documentation
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions