Files
nethack/include
Patric Mueller b7edc7f8e8 Workaround for including stdint.h on older GCC versions
GCC doesn't set __STDC_VERSION__ for older versions. It is verified to
be set by default on 5.3.0.

Older versions set __INT64_MAX__ though (oldest version tested is
4.5.4).

If compilation with older GCC versions is required, set -std=c99. Even
3.4.6 is supported with this setting.
2019-01-29 15:10:01 +01:00
..
2018-11-11 10:29:52 -05:00
2018-09-10 21:13:10 +03:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2016-10-10 16:18:20 +03:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:15 +09:00
2018-11-27 07:38:03 +02:00
2015-10-17 13:15:46 +03:00
2018-04-25 15:00:13 -04:00
2019-01-28 10:02:08 +01:00
2018-04-25 15:00:13 -04:00
2018-04-25 15:00:13 -04:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2018-04-25 15:00:13 -04:00
2018-12-10 09:00:50 -05:00
2018-12-15 19:31:42 -05:00
2015-05-25 09:21:15 +09:00
2019-01-14 17:10:46 -08:00
2019-01-28 10:02:08 +01:00
2018-04-25 15:00:13 -04:00
2018-04-25 16:54:50 -04:00
2015-05-25 09:21:15 +09:00
2018-04-25 15:00:13 -04:00
2018-04-25 15:00:13 -04:00
2015-10-17 13:15:46 +03:00
2015-11-17 02:26:17 -08:00
2018-04-25 15:00:13 -04:00
2018-04-25 16:54:50 -04:00
2019-01-13 17:19:39 -08:00
2018-04-25 15:00:13 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 15:00:13 -04:00
2015-05-25 09:21:31 +09:00
2019-01-22 18:15:49 -08:00
2015-05-25 09:21:31 +09:00
2019-01-13 17:19:39 -08:00
2019-01-13 17:19:39 -08:00
2015-05-25 09:21:31 +09:00
2019-01-28 09:44:35 -05:00
2018-04-25 15:00:13 -04:00
2019-01-11 17:18:48 -08:00
2019-01-01 11:48:30 -05:00
2018-10-20 23:14:33 -04:00
2019-01-14 17:10:46 -08:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-11-17 02:26:17 -08:00
2017-10-10 21:47:35 +03:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-10-17 18:47:31 +03:00
2019-01-11 17:18:48 -08:00
2019-01-11 17:18:48 -08:00
2018-12-15 19:27:08 -08:00
2015-05-25 09:21:31 +09:00
2018-11-20 19:09:05 -05:00
2018-04-25 15:00:13 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 15:00:13 -04:00
2018-12-19 17:52:49 -08:00
2019-01-11 17:18:48 -08:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2018-12-04 22:22:43 -05:00
2015-05-25 09:21:31 +09:00
2018-12-08 17:56:20 -05:00
2017-10-10 15:56:18 -07:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2019-01-14 17:10:46 -08:00