diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-13 00:32:39 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-13 00:32:39 +0100 |
| commit | de35b05a1a1de72f4e002d55843309fbc6fe2bf4 (patch) | |
| tree | 360cebe2ba74ff509d3809808d17f016be581ce2 /Plugins/Monitors.hs | |
| parent | 19f36a28d501773708da02ba149e8d8dae5756aa (diff) | |
| download | xmobar-de35b05a1a1de72f4e002d55843309fbc6fe2bf4.tar.gz xmobar-de35b05a1a1de72f4e002d55843309fbc6fe2bf4.tar.bz2 | |
Eliminate the obsolete -P option
Diffstat (limited to 'Plugins/Monitors.hs')
0 files changed, 0 insertions, 0 deletions