diff options
| author | Jose A. Ortega Ruiz <jao@gnu.org> | 2010-01-21 13:34:51 +0100 |
|---|---|---|
| committer | Jose A. Ortega Ruiz <jao@gnu.org> | 2010-01-21 13:34:51 +0100 |
| commit | beb44d60db84430915c1a10e0ac8d4d714dd3cef (patch) | |
| tree | 37b3474d6d3edc6df2e21a894546674759689285 /Plugins/HelloWorld.hs | |
| parent | 0241717d47595110ef80912445048710c5b997ac (diff) | |
| download | xmobar-beb44d60db84430915c1a10e0ac8d4d714dd3cef.tar.gz xmobar-beb44d60db84430915c1a10e0ac8d4d714dd3cef.tar.bz2 | |
CoreTemps: revert to non-rounding by default
Ignore-this: b8e96bb91956ea8235c7cae5dba4f4b1
We can control now whether to print decimals using -M
darcs-hash:20100121123451-40885-4e2f46ebc0ee72a521a8bea1a10e33d8019e2b65.gz
Diffstat (limited to 'Plugins/HelloWorld.hs')
0 files changed, 0 insertions, 0 deletions