1
0

Fix build-pregen.sh

This commit is contained in:
Lucas Betschart
2018-06-18 11:20:05 +02:00
parent 2fd1885058
commit a5490ce85e