Mon, 16 Dec 2013 21:19:41 +0100 redirect STDOUT to /dev/null
Heiko Schlittermann (JUMPER) <hs@schlittermann.de> [Mon, 16 Dec 2013 21:19:41 +0100] rev 12
redirect STDOUT to /dev/null
(0) -10 -1 +1 tip