Fix the indentation in the make file

This commit is contained in:
abcdefg30 2018-09-01 17:31:48 +02:00 committed by Paul Chote
parent 2fadd8c59c
commit bbb21311f5