Issue #1146: fix indentation in the generated API file.

This commit is contained in:
Paul Ebermann 2015-08-28 19:41:32 +02:00
parent cdd104d3fb
commit 74bffbaadb