diff options
| author | Michael Kaufmann <mail@michael-kaufmann.ch> | 2018-11-03 17:24:31 +0100 |
|---|---|---|
| committer | Michael Kaufmann <mail@michael-kaufmann.ch> | 2018-11-03 17:25:10 +0100 |
| commit | d82a17ad850914fee6dd17aadf9c5f902cda599f (patch) | |
| tree | 76256627cc0568928d11bc48b18980ab8f1d9ccb /.github | |
| parent | 226cfa8264cd979eff3fd52c0f3585ef095e7cf2 (diff) | |
tool_getparam: fix some comments
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions