Merge: Use `UInt32` to manipulate Unicode chars and support 32 bits platforms
[nit.git] / c_src / gc_chooser.h
2015-02-06 Jean Privatc_src: regenerate
2014-10-31 Jean Privatupdate c_src
2013-11-19 Jean Privatuse nitg to bootstrap; drop bootstrap of nitc