git.eclipse.org / objectteams / org.eclipse.objectteams / 91ad2ae4c36a3cf7df1006359d34d639c5a2ab52 / plugins / org.eclipse.objectteams.otredyn / .gitignore