Use ODR_INT_PRINTF to print Integer
authorAdam Dickmeiss <adam@indexdata.dk>
Thu, 3 Dec 2009 08:34:17 +0000 (09:34 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Thu, 3 Dec 2009 08:34:17 +0000 (09:34 +0100)
commit804d3e0f68b6d6e1f6eb4c47499e547d92c4f334
tree90081c239a1572e57ea89a4196321838cf72b30d
parent8f826c92f2bfb303409fbfc67cd8e34049caa125
Use ODR_INT_PRINTF to print Integer
src/odr_int.c