tree 91efdd903d4eef2f8c88f89e752c7c9d0cdac90a
parent 3d82f56edfd7feff7d4a9407f4695f5604ed03f0
author Marc Kupietz <kupietz@ids-mannheim.de> 1710581865 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1710581865 +0100

Make make not delete zip files