tree 3e680574a6085513d6290b9dafc45290baecea03
parent 2e472db97372b71c96e8a4096ad2b38a277381fe
author Henning Noeth <hnoeth@apache.org> 1568206639 +0200
committer Henning Noeth <hnoeth@apache.org> 1568206639 +0200

fix integration tests; deactivate prisim inspection