Skip to content
Commit d7f37610 authored by Jan Kiene's avatar Jan Kiene
Browse files

keep "ext" and "full" to better match files to testcases

parent 76650794