| commit | 7effd7d536c2d2e9cf9b2ef261042ff130f49a36 | [log] [tgz] |
|---|---|---|
| author | Daniel <strueber@mathematik.uni-marburg.de> | Thu Jun 27 17:07:52 2019 +0200 |
| committer | Daniel <strueber@mathematik.uni-marburg.de> | Thu Jun 27 17:08:38 2019 +0200 |
| tree | a8794f9f3b6a512c1e311a836495450fc37ec0ea | |
| parent | 35bd1dfc959110d1ff555bc3d0bb6136dc11d66c [diff] |
Reduce unneccessary plugins Change-Id: If337bc5b00f80dfcf54ac72d21beaf03118cdcef