Instructions Jenkins Doxygen

Merge "[Added] Droid pets and faction pets will die (rather than incap) if one of...
authorVictor Popovici <theanswer@swgemu.com>
Thu, 27 Feb 2014 08:29:20 +0000 (08:29 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 27 Feb 2014 08:29:20 +0000 (08:29 +0000)

Trivial merge