diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-22 00:39:42 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-22 00:39:42 +0100 |
| commit | fac7217f853cb8ea7724cda58adef13a385f3770 (patch) | |
| tree | 54e19e02371e6bf2702e640d1e7543df55346f76 /Plugins/Monitors/CoreCommon.hs | |
| parent | c50207a47e1d6a42d2d71bc5ca0468162673036b (diff) | |
| download | xmobar-fac7217f853cb8ea7724cda58adef13a385f3770.tar.gz xmobar-fac7217f853cb8ea7724cda58adef13a385f3770.tar.bz2 | |
MultiCpu linting
Diffstat (limited to 'Plugins/Monitors/CoreCommon.hs')
0 files changed, 0 insertions, 0 deletions