Jon Eugster 4e7c958348 Update client/public/locales/zh/translation.json

2024-04-18 12:24:29 +02:00

..

public

Update client/public/locales/zh/translation.json

2024-04-18 12:24:29 +02:00

src

Merge branch 'main' of https://github.com/leanprover-community/lean4game into cn-i18n

2024-04-18 10:23:14 +08:00

i18next-scanner.config.cjs

add some translation keys

2024-04-06 15:25:31 +02:00