piping added
authorMart Lubbers <mart@martlubbers.net>
Tue, 8 Jul 2014 14:03:54 +0000 (16:03 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 8 Jul 2014 14:03:54 +0000 (16:03 +0200)
commit7411ef586422d7604d0c8542bfe10fd4a838f329
tree3ef33dc87a8742243011e7a10c45815332298087
parent6c6a35507e8a6675bd34affc1070e0342ef6d7c3
piping added
truuk.tex