bin/mkinfo
changeset 168 7db5e1f82118
parent 156 e09ac1e3c0eb