diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-05-05 22:13:34 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-05-05 22:13:34 +0200 |
| commit | ca907c115fe6b4ce4cb3362d2d6f5d6d4abe6174 (patch) | |
| tree | 9e747ee2e179d18871f7de2dd7884336dae19e98 /src/Plugins/PipeReader.hs | |
| parent | c8346ee3e40056736fd77d7bb7fd8504ed411455 (diff) | |
| download | xmobar-ca907c115fe6b4ce4cb3362d2d6f5d6d4abe6174.tar.gz xmobar-ca907c115fe6b4ce4cb3362d2d6f5d6d4abe6174.tar.bz2 | |
Linting
Diffstat (limited to 'src/Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions