3e1e6ffc64a93b4551ada2356f4b471df0920514 - ocl/org.eclipse.ocl - Git at Google

commit: 3e1e6ffc64a93b4551ada2356f4b471df0920514
[log]
author: Ed Willink <ed@willink.me.uk>
Tue Feb 18 08:28:14 2020 +0000
committer: Ed Willink <ed@willink.me.uk>
Tue Feb 18 08:28:14 2020 +0000
tree: c057e154d7cdf16615e68d965c793e42dd53dcfb
parent: bcbc2c221c7c2fe2da687059ae9d85a2f3a85351 [diff]

[unrelated] Fix UniqueList construction with content

plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/UniqueList.java[diff]

1 file changed

tree: c057e154d7cdf16615e68d965c793e42dd53dcfb