diff options
| author | Jose A. Ortega Ruiz <jao@gnu.org> | 2010-01-18 02:06:39 +0100 |
|---|---|---|
| committer | Jose A. Ortega Ruiz <jao@gnu.org> | 2010-01-18 02:06:39 +0100 |
| commit | d7c62ed01b25fb001dec0f9b472273be55b00363 (patch) | |
| tree | d766aa945a8ec497c2971f4283f71bcc26bd19b6 /Plugins/PipeReader.hs | |
| parent | 5b5820a20b6e43b4b2e3747b1b1a5b52a168aa63 (diff) | |
| download | xmobar-d7c62ed01b25fb001dec0f9b472273be55b00363.tar.gz xmobar-d7c62ed01b25fb001dec0f9b472273be55b00363.tar.bz2 | |
Small refactoring
Ignore-this: 886cfda3510443d12f90c6184bf7f6e6
darcs-hash:20100118010639-40885-c69f6371d0ac730d14859f78f4b091e9327e551d.gz
Diffstat (limited to 'Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions