Skip to content

Fix editor sync bug, when model file was edited outside of eclipse.#3108

Merged
szarnekow merged 1 commit intoeclipse-xtext:mainfrom mehmet-karaman:fix_xtext_editors_sync_ext_editingSep 5, 2024

Commits

Commits on Sep 3, 2024