Module: ppl/ppl Branch: master Commit: ec49534bdcc51311ec12a1be1201e1e1686a731e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec49534bdcc51...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Mar 15 13:46:22 2015 +0100

Updated.

---

doc/devref-language-interface.doxyconf.in | 42 ++++++++++++++++++----------- doc/user-language-interface.doxyconf.in | 42 ++++++++++++++++++----------- 2 files changed, 52 insertions(+), 32 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ec49534bd...