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