1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
| // This file is automatically generated. Do not edit.
| // ['../../libs/compatibility/generate_cpp_c_headers.py']
| // Wed Jul 23 12:11:19 2003 ('GMTST', 'GMTST')
|
| #ifndef __CTIME_HEADER
| #define __CTIME_HEADER
|
| #include <time.h>
|
| namespace std {
| using ::size_t;
| using ::clock_t;
| using ::time_t;
| using ::tm;
| using ::asctime;
| using ::clock;
| using ::difftime;
| using ::localtime;
| using ::strftime;
| using ::ctime;
| using ::gmtime;
| using ::mktime;
| using ::time;
| }
|
| #endif // CTIME_HEADER
|
|
