commit | fee7dae5a6ed20b425ffed669a1632e8a87fc176 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 08:14:59 2019 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Fri Nov 15 08:14:59 2019 -0500 |
tree | b77076826b79ad1be064147249973963558e19cd | |
parent | 98017ccce4a9c92f4e7b82018805bf5536fdd4b4 [diff] | |
parent | de9f18c7b96485d5bde24931a1d129d6eb735cc9 [diff] |
Merge "add gitignore and fix rule selection Bug in Wizard"