diff -r 1a2d7298bc82 -r fa9bda32de17 stdinc.h --- a/stdinc.h Tue Oct 02 10:49:25 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,17 +0,0 @@ -/* - * stdinc.h - * - * Created on: 15.09.2011 - * Author: Mike - */ - -#ifndef STDINC_H_ -#define STDINC_H_ - -#include -#include -#include -#include -#include - -#endif /* STDINC_H_ */