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