git.eclipse.org / objectteams / org.eclipse.objectteams / 4b6db00bf800dbb7502f4a4c69890db46d4058a9 / plugins / org.eclipse.objectteams.otredyn / .gitignore