diff gui/dialog/preferences.c @ 37184:36d586f37e26

Add stdint.h include for intptr_t.
author reimar
date Wed, 17 Sep 2014 17:13:35 +0000
parents 2208a16cc562
children
line wrap: on
line diff