0.10.0
Description
Monthly release of Eclipse Theia, for August 2019.
Note: this is a "major" release in the sense that there is API breakage. However we have decided not to step the major version number until we reach "1.0"; in the meantime we will step the minor one.
Conforms To UI/UX Guidelines
Not verified
End of Life
- [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used