diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-26 12:45:38 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-26 12:45:38 +0200 |
| commit | 991e6c92abd26435169ad7ea0df2622685cac6d1 (patch) | |
| tree | dc75b4660e5837015e93afd6cc6abcbc92c6e86b /core/input/input_builders.py | |
| parent | 052b1221085eb874fe4020ffc45a2cbbebebc4f1 (diff) | |
| parent | 32c83a228dff7a1f485ab208dff773c3fa74b133 (diff) | |
| download | redot-engine-991e6c92abd26435169ad7ea0df2622685cac6d1.tar.gz | |
Merge pull request #96923 from Repiteo/style/warning-admonition
Style: Add `WARNING:` as new comment admonition
Diffstat (limited to 'core/input/input_builders.py')
| -rw-r--r-- | core/input/input_builders.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/input/input_builders.py b/core/input/input_builders.py index ae848f4e7c..3685e726b4 100644 --- a/core/input/input_builders.py +++ b/core/input/input_builders.py @@ -33,7 +33,7 @@ def make_default_controller_mappings(target, source, env): guid = line_parts[0] if guid in platform_mappings[current_platform]: g.write( - "// WARNING - DATABASE {} OVERWROTE PRIOR MAPPING: {} {}\n".format( + "// WARNING: DATABASE {} OVERWROTE PRIOR MAPPING: {} {}\n".format( src_path, current_platform, platform_mappings[current_platform][guid] ) ) |