diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-07-17 15:12:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-17 15:12:49 +0200 |
commit | 707175eda8f0872d7d6201c5aab9ec4592ebdf83 (patch) | |
tree | 79743a3a0767c81a30a66c9396e22561cda03088 /modules/mono | |
parent | b64bf118f11aaf083b4dcad790e8acdaa809c158 (diff) | |
parent | 5d28a214543f93033a5c5c10228184074e943d70 (diff) |
Merge pull request #19044 from Mintormo/make_header_fix
Added support of Python 3 in make_header.py
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions