change build extension

This commit is contained in:
Mark Puha 2023-09-24 17:30:51 +02:00
parent 55be21e50c
commit be97b12dac