Commit 6125bd96 authored by Jan Kiene's avatar Jan Kiene
Browse files

run all configs again, but delete everything before

parent 23996047