diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-11 15:27:31 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-11 15:27:31 +0100 |
| commit | 06ebadd3cc322c2a85e6c36730f24b994797d8c2 (patch) | |
| tree | 658287dff8e8df5a3263da8f26d9de5b88682b8e /src/Plugins/EWMH.hs | |
| parent | d7301c241f79c84e010dd3636d68438cbd4c2e4b (diff) | |
| download | xmobar-06ebadd3cc322c2a85e6c36730f24b994797d8c2.tar.gz xmobar-06ebadd3cc322c2a85e6c36730f24b994797d8c2.tar.bz2 | |
version bump
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions