git.eclipse.org / objectteams / org.eclipse.objectteams / dead0e2a8e3266cda825ba497e7313644f688ead / plugins / org.eclipse.objectteams.otredyn / .gitignore