tree 9b7afcf60f4b0b1ef89ea3dde8c325d840c1d770
parent 95bce0da29e7a10f038aee75ed26df8a5e7f08bb
author Marc Kupietz <kupietz@ids-mannheim.de> 1710582382 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1710582382 +0100

Make make and ci more performant