summaryrefslogtreecommitdiffhomepage
path: root/src/Plugins/BufferedPipeReader.hs
AgeCommit message (Expand)Author
2012-08-08BufferedPipeReader: A plugin for temporary data displayJochen Keil