Skip to content

#825 ToolDef docs: 'ToolDef tool manual' -> 'ToolDef interpreter'.

Dennis Hendriks requested to merge 825-tooldef-docs-interpreter-section-renaming into develop
  • Also some 'Eclipse' vs 'ESCET IDE' etc changes.

Closes #825 (closed)

Edited by Dennis Hendriks

Merge request reports

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