Instructions Jenkins Doxygen

Merge "[fixed] mantis 4304 tabage scavengers have leathery hide" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Sun, 20 Oct 2013 17:09:16 +0000 (17:09 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 20 Oct 2013 17:09:16 +0000 (17:09 +0000)

Trivial merge