machine: Fix header indent.

This commit is contained in:
Alastair Poole 2020-05-13 21:13:01 +01:00
parent f54666f98c
commit dd4ab10381
3 changed files with 12 additions and 12 deletions