MichaelandGitHub 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

…