diff -r 1a2d7298bc82 -r fa9bda32de17 stream.h
--- a/stream.h	Tue Oct 02 10:49:25 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-/*
- * stream.h
- *
- *  Created on: 20.09.2011
- *      Author: Mike
- */
-
-#ifndef STREAM_H_
-#define STREAM_H_
-
-#include "stdinc.h"
-
-#ifdef _WIN32
-int _STREAM_STDOUT;
-#endif
-
-#ifdef _cplusplus
-extern "C" {
-#endif
-
-void close_stdout();
-void reopen_stdout();
-
-#ifdef _cplusplus
-extern "C" }
-#endif
-
-#endif /* STREAM_H_ */