mirror of
https://github.com/MariaDB/server.git
synced 2025-03-08 04:03:30 +01:00
10 lines
165 B
C
10 lines
165 B
C
#ident "Copyright (c) 2007-2010 Tokutek Inc. All rights reserved."
|
|
|
|
#ifndef TOKU_STDINT_H
|
|
#define TOKU_STDINT_H
|
|
|
|
#include <stdint.h>
|
|
#include <inttypes.h>
|
|
|
|
#endif
|
|
|