diff etc/inttypes.h @ 8760:3676579e41f1

encoding-tips needs to be merged - some day
author diego
date Sat, 04 Jan 2003 02:35:43 +0000
parents d0d7fcc5dcd6
children dae8bc96fb15
line wrap: on
line diff