Files

T

History

Marcus Zibrowius f0aa6b58ed Edits on landing page, with updates to German & Spanish translations.

modified:   ../de/translation.json
	modified:   ../en/translation.json
	modified:   ../es/translation.json
	modified:   ../ko/target/translation.json
	modified:   translation.json
	modified:   ../../../src/components/landing_page.tsx

2024-11-08 16:51:38 +01:00

dictionary

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

glossary

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

omegat

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

source

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

target

Edits on landing page, with updates to German & Spanish translations.

2024-11-08 16:51:38 +01:00

.gitignore

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

omegat.project

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

README.ko.md

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

README.md

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

translation.json

fix config.json and add Korean translation

2024-10-18 13:10:10 +09:00

README.md

Lean 4 Game

English | 한국어[Korean]

Contributing

Contributions to the Korean translation of lean4game are always welcome!

Korean Translation

I (Bulhwi Cha) use OmegaT to translate English documentation into Korean. The OmegaT project is in this directory, that is, client/public/locales/ko. You need to install the Okapi filters plugin for OmegaT to make OmegaT parse JSON files.