| commit | 8481950a6690261d76590f61e8002588d7200ea2 | [log] [tgz] |
|---|---|---|
| author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Mon Jan 24 15:03:19 2022 +0100 |
| committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Mon Jan 24 15:03:19 2022 +0100 |
| tree | 366bd5c85e93ee44d6caccc6235457b8c1085b51 | |
| parent | 62d9a8a52e54f9dea13152decb477adec1649713 [diff] |
Fix validation (contributed by Raffaela Groner) Change-Id: If3a6c51e8ddbc1ba320f58018833e4b96a42ef5f