-
Committer:
Wideland's Bunnybot
-
Date:
2016-12-20 09:46:01 UTC
-
mfrom:
(8226.1.1 document_mine)
-
Revision ID:
bunnybot@widelands.org-20161220094601-juvl3efzeojtmeku
Merged lp:~widelands-dev/widelands/document_mine:
Document the mine command. I read through the code to get to this documentation, I hope it is correct.