use uint_32_t from stdint.h instead of u_int_32_t
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Oct 2008 12:14:36 +0000 (14:14 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Oct 2008 12:14:36 +0000 (14:14 +0200)
commitf719cf8faf20897df40be9e54aa88d1433c92e0e
treee7a07575f3b4b3952c67f4d3ae5ee8cb5a9ea66a
parent6bcdd73ae1efb847a94e5dd003c95133016e9685
use uint_32_t from stdint.h instead of u_int_32_t
Makefile.am
autogen.sh
configure.ac
include/isl_int.h
include/isl_seq.h
isl_gmp.c
isl_map.c
isl_seq.c
m4/ax_create_stdint_h.m4 [new file with mode: 0644]