cleanup PrStoreUTHit

  • remove unused headers
  • remove unused properties
  • simplify derived condition registration

goes together with Moore!431 (merged)

Edited by Gerhard Raven

Merge request reports

Loading