diff version.sh @ 35856:310c8995c0d0

Prefer stdint.h over inttypes.h if both work.
author cehoyos
date Sun, 10 Mar 2013 16:33:43 +0000
parents 093745dec9f5
children 8f0fd63eca7f
line wrap: on
line diff