[options]
backend = ninja

[properties]

