Fix mini install

This commit is contained in:
Dennis Eichhorn 2018-03-27 18:52:40 +02:00
parent 362d71d34c
commit c60ac48bfe