Instructions Jenkins Doxygen

Merge "[changed] Jedi Healers can no longer use their 'profession' SKILLS to heal...
authorBenjamin 'Ivojedi' Jensen <ivojedi@swgemu.com>
Fri, 17 Feb 2017 11:44:11 +0000 (11:44 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 17 Feb 2017 11:44:11 +0000 (11:44 +0000)

Trivial merge