diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:37:33 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:37:33 +0200 |
| commit | 8e87d8671c06eb5acca3a4c92e569e1dba253160 (patch) | |
| tree | 30a68352ed847b7d19c7951b0c8c76187838753f /src/Plugins/EWMH.hs | |
| parent | 2596e2a21d23979ca1bebd87698b00e195d5b5d9 (diff) | |
| parent | 68f9f51cd7e20190e1ef2fd95beaf7c852f11c81 (diff) | |
| download | xmobar-8e87d8671c06eb5acca3a4c92e569e1dba253160.tar.gz xmobar-8e87d8671c06eb5acca3a4c92e569e1dba253160.tar.bz2 | |
Merge remote-tracking branch 'jrk/replacemvar' into jrk
Conflicts:
readme.md
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions