diff options
author | Erik Scholz <Green-Sky@users.noreply.github.com> | 2023-09-05 19:41:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-05 19:41:00 +0200 |
commit | c9c3220c485c7bea740a07cda7343677fb3beaae (patch) | |
tree | fd29d800066a83eadffd67ca3cbf615903e706e8 /examples | |
parent | d59bd97065cd7ded6c4ecab54b1d5e0b1b11e318 (diff) |
convert: fix convert.py not working with int filename_stem (#3028)
* fix implicit int to string conversion
* convert : remove an obsolete pyright comment
---------
Co-authored-by: Cebtenzzre <cebtenzzre@gmail.com>
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions