Skip to content

client: fix i18next config to generate i18n data correctly#511

Open
virusbb001 wants to merge 10 commits into
leanprover-community:mainfrom
virusbb001:fix-client-i18n-config
Open

client: fix i18next config to generate i18n data correctly#511
virusbb001 wants to merge 10 commits into
leanprover-community:mainfrom
virusbb001:fix-client-i18n-config

add missing translation keys

2970682
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
Windows - electron
failed Jun 21, 2026 in 6m 47s