Tobias Pankrath Tue, 03 Jul 2012 11:35:14 -0700
writeln etc just write to /dev/null or something similar?
Thanks!