opt.h: fix indents

This commit is contained in:
Simon Goldschmidt 2018-07-04 14:57:54 +02:00
parent 82fc0e8937
commit dccdbdd309