bin/mkinfo
changeset 172 96b5829df78d
parent 156 e09ac1e3c0eb