tree b77076826b79ad1be064147249973963558e19cd
parent 98017ccce4a9c92f4e7b82018805bf5536fdd4b4
parent de9f18c7b96485d5bde24931a1d129d6eb735cc9
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1573823699 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1573823699 -0500

Merge "add gitignore and fix rule selection Bug in Wizard"