diff options
| author | gxgpet <gxgpet@users.noreply.github.com> | 2016-10-20 11:31:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-20 11:31:44 +0200 |
| commit | 7de46d4d99017b42ba172cebff8998163ee6295f (patch) | |
| tree | c93dee557de742a53c277d4423c535bc12fc8e2d /user_guide_src/source/documentation | |
| parent | 1ff88001bead0ff4187a5b121d9d36a25a45c313 (diff) | |
fixed coding style + removal of extra paranthesis
Diffstat (limited to 'user_guide_src/source/documentation')
0 files changed, 0 insertions, 0 deletions