bin/mkinfo
changeset 101 17cdada13cb7
parent 100 648be6279e23
child 156 e09ac1e3c0eb