-
Heiko Becker authored
Remove unused stuff in IntervalValidationScript, that I forgot to remove in the first place after finishing the proofs
fe76e068
Remove unused stuff in IntervalValidationScript, that I forgot to remove in the first place after finishing the proofs