Bram Prieshof 353731577e Fixed jenkis file: Added clean commands to build sequents

2023-10-07 22:30:41 +02:00

7.3 KiB

Raw Blame History

View Raw