diff TOOLS/checktree.sh @ 33123:9566100d88a1

Replace inttypes.h by stdint.h and remove inttypes.h where unneeded.
author ib
date Mon, 04 Apr 2011 15:10:05 +0000
parents 92d75e703bc0
children
line wrap: on
line diff