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