tree 443358e27013ae646c94825c2f6e8f33ea1ed884
parent e06f106e7e3d62a451d4ebbf8c35d5e810cd5455
parent ad170c29443ccdc583fb8e2aea31667675cc96ea
author Lorenzo Bettini <lorenzo.bettini@gmail.com> 1422959558 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1422959558 -0500

Merge "some fixes in the documentation"