Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
8f29b01e2aea7dc8ca4812e693c37873f6d4d4f7
/
plugins
/
org.eclipse.objectteams.runtime
a4e56ff
Here's a culprit: dir name differed from plugin name
by Stephan Herrmann
ยท 13 years ago