Formatting change

This commit is contained in:
sharkdp 2018-03-14 22:49:53 +01:00 committed by David Peter
parent d49b0aa977
commit 89a8f5573d