bin/mkinfo
changeset 174 83ec4c52f823
parent 156 e09ac1e3c0eb