Do not use __SIZEOF_POINTER__, as it is not compatible with older gcc's
[ust.git] / java / UST.c
2009-10-27  Pierre-Marc Fournierjava: fixes
This page took 0.028836 seconds and 7 git commands to generate.