diff options
| author | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-11 18:52:47 +0200 |
|---|---|---|
| committer | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-11 18:52:47 +0200 |
| commit | 046fc78a7dfb3d81c41df7f81af8f7d64ff61344 (patch) | |
| tree | ae5286baf01eeed83083981dad94bccecdf0e153 /Plugins/helloworld.config | |
| parent | df36230da4d10d32758736d30eab0fd2073f0578 (diff) | |
| download | xmobar-046fc78a7dfb3d81c41df7f81af8f7d64ff61344.tar.gz xmobar-046fc78a7dfb3d81c41df7f81af8f7d64ff61344.tar.bz2 | |
Net.hs: removed parserc. Now using list function to parse
Profiling shows that Net.hs and getNumbers specifically takes a huge ammount
of resources. Hope to reduce them with this patch.
darcs-hash:20070711165247-d6583-f56705720e012d5dc3a37d8e86a05145b819feb2.gz
Diffstat (limited to 'Plugins/helloworld.config')
0 files changed, 0 insertions, 0 deletions