[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Updated for Doxygen 1.8.0.