jdolan 8910ffc600 Use intptr_t again when casting gpointer to integers.		2013-07-07 10:14:48 -04:00
..
bkgrnd2d	add *.ogg and *.wav to the sound types selection	2013-06-22 21:56:11 +01:00
bobtoolz	fix ws2_32 lib dep	2013-06-02 00:17:56 +01:00
camera	Re-define fileHandle_t as void * so that it is 64-bit safe. Fixes 4 compiler warnings and potentially some broken code.	2013-07-07 10:14:29 -04:00
gtkgensurf	fix ws2_32 lib dep	2013-06-02 00:17:56 +01:00
hydratoolz	fix ws2_32 lib dep	2013-06-02 00:17:56 +01:00
prtview	Use intptr_t again when casting gpointer to integers.	2013-07-07 10:14:48 -04:00