Skip to content

[Skip CI] Various user's guide edits

Eclipse Webmaster requested to merge github/fork/jquevremont/jquevremont-doc-edit into master

Created by: jquevremont

Various minor precisions in the user's guide.

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent