Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
c867362f51492cdc8590e44ec4bad3e05c44c161
commit
c867362f51492cdc8590e44ec4bad3e05c44c161
[
log
]
[
tgz
]
author
Ed Willink <ed@willink.me.uk>
Tue Aug 20 17:28:49 2013 +0100
committer
Ed Willink <ed@willink.me.uk>
Tue Aug 20 17:28:49 2013 +0100
tree
0b9f75e45e6b1df2257b2a4e09dd3198bb1e860b
parent
28e6ff762ebfa498f03dcad6c12500b811da5eef
[
diff
]
[415472] Make plugin names more consistent
examples/org.eclipse.ocl.examples.ui/plugin.properties
[
diff
]
examples/org.eclipse.ocl.examples/plugin.properties
[
diff
]
plugins/org.eclipse.ocl.ui/plugin.properties
[
diff
]
plugins/org.eclipse.ocl.uml.ui/plugin.properties
[
diff
]
4 files changed
tree: 0b9f75e45e6b1df2257b2a4e09dd3198bb1e860b
archive/
doc/
examples/
features/
plugins/
releng/
tests/
.gitignore
