Completed
Pull Request — master (#528)
by Mathias
01:59
created
7.81
▶   ± 0
Head
Claus Due  
Merge 274d970e7b9df59d8ab00d597bedcb95a359e866 into 4e10e1c0d935f2ef3001d0513d0ca163435155f0
3 more commits
Base
Mathias Brodala  
[TASK] Clean up dist archive (#403)