diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:42:01 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:42:01 +0200 |
| commit | e7cadcd8dee8c2e79e338f67cb27b675aba6bac5 (patch) | |
| tree | c0c470e5a0f19b6d53e6772b079197442bb9bf57 /src/Plugins/PipeReader2.hs | |
| parent | 8e87d8671c06eb5acca3a4c92e569e1dba253160 (diff) | |
| parent | a05c57f7aed141a8d6dc9038be177712be432b9d (diff) | |
| download | xmobar-e7cadcd8dee8c2e79e338f67cb27b675aba6bac5.tar.gz xmobar-e7cadcd8dee8c2e79e338f67cb27b675aba6bac5.tar.bz2 | |
Merge remote-tracking branch 'jrk/dbusstuff' into jrk
Diffstat (limited to 'src/Plugins/PipeReader2.hs')
0 files changed, 0 insertions, 0 deletions