eb5338c205f2ca0c4dc190c19403679e408e9560 - ocl/org.eclipse.ocl - Git at Google

commit: eb5338c205f2ca0c4dc190c19403679e408e9560
[log] [tgz]
author: Ed Willink <ed@willink.me.uk>
Sat Jan 19 17:43:44 2019 +0000
committer: Ed Willink <ed@willink.me.uk>
Sun Jan 20 15:35:58 2019 +0000
tree: 67749245bb73e56edbb9ef7e5cb5c915761f30af
parent: 540096a947fe3052cb7e4cabafedeed6d04d5a28 [diff]

[543599] Fix null navigation hazards

plugins/org.eclipse.ocl.pivot/model/Pivot.ocl[diff]

1 file changed

tree: 67749245bb73e56edbb9ef7e5cb5c915761f30af