Instructions Jenkins Doxygen

Merge "[Added] checkForceStatus command interface to the jedi manager [Added] a defau...
authorVictor Popovici <theanswer@swgemu.com>
Fri, 27 Sep 2013 09:09:53 +0000 (09:09 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 27 Sep 2013 09:09:53 +0000 (09:09 +0000)

Trivial merge