docs: move most docs to main repository (#5141)

This commit is contained in:
Henrique Dias 2025-06-17 11:37:15 +02:00 committed by GitHub
parent c34c0afecf
commit 0cca7d8dc0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 388 additions and 17 deletions

View file

@ -6,7 +6,7 @@ filters:
translation_files_expression: 'frontend/src/i18n/<lang>.json'
settings:
language_mapping:
language_mapping:
sv_SE: sv-se
cz-CS: cz_cs
pt_BR: pt-br