Instructions Jenkins Doxygen

Merge "[Tweaked] amount healed by /healmind - mantis 4844 [Fixed] /healmind no longer...
authorIvojedi <ivojedi@swgemu.com>
Fri, 25 Apr 2014 00:20:43 +0000 (00:20 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 25 Apr 2014 00:20:43 +0000 (00:20 +0000)

Trivial merge