diff options
Diffstat (limited to 'make/stub_includes/common/stdint.h')
| -rw-r--r-- | make/stub_includes/common/stdint.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/make/stub_includes/common/stdint.h b/make/stub_includes/common/stdint.h deleted file mode 100644 index dd03d2d1e..000000000 --- a/make/stub_includes/common/stdint.h +++ /dev/null @@ -1,7 +0,0 @@ -#ifndef __stdint_h -#define __stdint_h - -#include <gluegen_types.h> - -#endif /* __stdint_h */ - |