Michael 9bca09a513 Remove obsolete .txt extension from diagnostics download (#108028)		2024-01-15 09:17:05 +01:00
..
__init__.py	…
const.py	…
manifest.json	…
strings.json	…
util.py	…