| commit | 8a2d808cfcb7298c5859a794b437b493c50da485 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Mar 05 14:29:22 2021 +0000 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Mar 05 14:29:22 2021 +0000 |
| tree | 81c6488cd9bc139c3d4ed9cd1840849cf87e17bb | |
| parent | 69b4922f3eef0649e1378d2e1d4a583a758bec87 [diff] |
Added support for navigating back to Xtext editor