Skip to content

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

Open
virusbb001 wants to merge 9 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 9 commits into
leanprover-community:mainfrom
virusbb001:fix-client-i18n-config

Commits

Commits on Apr 27, 2026

Commits on May 3, 2026