summaryrefslogtreecommitdiffhomepage
path: root/src/Plugins/BufferedPipeReader.hs
AgeCommit message (Expand)Author
2012-08-09Cosmetic surgeryJochen Keil
2012-08-08BufferedPipeReader: A plugin for temporary data displayJochen Keil
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 11:48:22 +0000