diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-07-06 10:08:05 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-07-06 10:08:21 +0200 |
| commit | 81064cc239e04f653c807b44e720785387a734e0 (patch) | |
| tree | 9a694282f0fe7b40572914aae73210584590f5c7 /platform/android/detect.py | |
| parent | b7c2fd2e9a7f01644e15fef86083a3e0e0221e4d (diff) | |
| download | redot-engine-81064cc239e04f653c807b44e720785387a734e0.tar.gz | |
Doctool: Remove version attribute from XML header
We don't use that info for anything, and it generates unnecessary diffs
every time we bump the minor version (and CI failures if we forget to
sync some files from opt-in modules (mono, text_server_fb).
Diffstat (limited to 'platform/android/detect.py')
0 files changed, 0 insertions, 0 deletions