diff options
author | Markus Armbruster <armbru@redhat.com> | 2017-10-02 16:13:41 +0200 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2017-12-20 19:18:33 +0100 |
commit | 7e21572ce768a1b4cd4d4b24405d5f75448bbf62 (patch) | |
tree | ef477efdefdae9b262f2c2ee3ecb5b139a2a0618 /docs | |
parent | 8cbf1a537a61b2a1832948f20582839cebdb69de (diff) |
qapi2texi: De-duplicate code to add blank line before symbol
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <20171002141341.24616-12-armbru@redhat.com>
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions