diff -r 1a2d7298bc82 -r fa9bda32de17 stream.c
--- a/stream.c	Tue Oct 02 10:49:25 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-/*
- * stream.c
- *
- *  Created on: 20.09.2011
- *      Author: Mike
- */
-
-#include "stream.h"
-
-void close_stdout() {
-#ifdef _WIN32
-  _STREAM_STDOUT = dup(STDOUT_FILENO);
-#endif
-  freopen("/dev/null", "w", stdout);
-}
-
-void reopen_stdout() {
-#ifdef _WIN32
-  close(STDOUT_FILENO);
-  fdopen(dup(_STREAM_STDOUT), "wa");
-  close(_STREAM_STDOUT);
-#else
-  freopen("/dev/stdout", "w", stdout);
-#endif
-}