Instructions Jenkins Doxygen

Merge "[Added] tame radial menu option to babies [Added] skill and state checks for...
authorVictor Popovici <theanswer@swgemu.com>
Thu, 24 Oct 2013 06:34:06 +0000 (06:34 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 24 Oct 2013 06:34:06 +0000 (06:34 +0000)

Trivial merge