diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-03-16 20:30:11 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-03-16 20:30:11 +0100 |
| commit | ccb6c5fb86f6e5b48c8966f2fdd9a06f50463a97 (patch) | |
| tree | bce8d70cdc63ac9674985d11cda6ad0d171c5642 /src/Plugins/EWMH.hs | |
| parent | d933e0adcca6d065836c91607f29c22941fd81f1 (diff) | |
| download | xmobar-ccb6c5fb86f6e5b48c8966f2fdd9a06f50463a97.tar.gz xmobar-ccb6c5fb86f6e5b48c8966f2fdd9a06f50463a97.tar.bz2 | |
Eric Mrak's credits
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions