bin/mkinfo
changeset 158 40bdb32c3e7c
parent 156 e09ac1e3c0eb