diff options
| author | WolfGang <flamin2k8@gmail.com> | 2025-12-31 15:27:41 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-12-31 17:27:41 +0200 |
| commit | 394aba1110f1a57100e8b7fbf4576a12c0bb750f (patch) | |
| tree | c5163ad71fb8bbed18c50c17ddef5abb3fab1f22 /scripts/code_tools/fix_xml_indentations.py | |
| parent | 010199c98ed6bdfbc02cd46eb71d5494f25f15e3 (diff) | |
Fix types for vector multiplication (#5191)
Signed-off-by: WolfGangS <flamin2k8@gmail.com>
Diffstat (limited to 'scripts/code_tools/fix_xml_indentations.py')
0 files changed, 0 insertions, 0 deletions