Clean at the end

pull/35/head
Andre Richter 5 years ago
parent 7ae5063553
commit 9a06e1ad95
No known key found for this signature in database
GPG Key ID: 2116C1AB102F615E

@ -20,3 +20,4 @@ clippy_all
clean_all
make_all
diff_all
clean_all

Loading…
Cancel
Save