diff etc/inttypes.h @ 8561:36da960c94e3

API change in dev-api-3 branch.
author rguyom
date Wed, 25 Dec 2002 11:44:14 +0000
parents d0d7fcc5dcd6
children dae8bc96fb15
line wrap: on
line diff