micropython/micropython — pull request #56 by pfalcon (2014-01-03 23:59:44+00:00)
Title: Move INT_FMT, etc. declaration into global mpconfig.h .

This in particular makes it available for stm port.