diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-15 01:02:38 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-15 01:02:38 +0100 |
| commit | 6fadf3e159c371f00ccd6261a9f01fc81fad375e (patch) | |
| tree | ca843f54daf74a981d3b536bd2761145f6bceac6 /Plugins/helloworld.config | |
| parent | df8768ae3ad3a3f7cc701fb0efa8c86ee8b76b34 (diff) | |
| download | xmobar-6fadf3e159c371f00ccd6261a9f01fc81fad375e.tar.gz xmobar-6fadf3e159c371f00ccd6261a9f01fc81fad375e.tar.bz2 | |
Top.hs: bug fix
We weren't guarding for the case of time lapses between updates being
zero, which can be the case if we come back from sleep or the clock is
externally modified.
Diffstat (limited to 'Plugins/helloworld.config')
0 files changed, 0 insertions, 0 deletions