use correct extension

This commit is contained in:
Tobias Zwick
2019-05-08 16:51:21 +02:00
parent b06a75993d
commit 0df764b1a7