diff etc/inttypes.h @ 31388:f57d3b8292a2

Add appropriate header files for GUI variables.
author diego
date Thu, 17 Jun 2010 09:59:31 +0000
parents dae8bc96fb15
children
line wrap: on
line diff