12 Commits

Include renames

Author	SHA1	Message	Date
Jon Eugster	eac945e7b5	update impressum & privacy policy	2024-04-24 14:31:29 +02:00
Jon Eugster	4e7c958348	Update client/public/locales/zh/translation.json	2024-04-18 12:24:29 +02:00
Hydrogenbear	c5df85ce66	Add a missed translation	2024-04-11 19:38:33 +08:00
Hydrogenbear	ded9c38170	Merge remote-tracking branch 'upstream/dev' into cn-i18n	2024-04-10 08:30:36 +08:00
Jon Eugster	d456621875	apply suggestions from PR #206 manually	2024-04-09 09:47:05 +02:00
Jon Eugster	a8d3169ebb	add some translation keys	2024-04-06 15:25:31 +02:00
Hydrogenbear	af5426856e	Some updates, and fix.	2024-04-01 12:35:17 +08:00
Jiecheng	470a184cac	some update	2024-04-01 07:50:22 +08:00
Hydrogenbear	1006097e32	Merge branch 'dev' of https://github.com/leanprover-community/lean4game into cn-i18n	2024-03-30 09:46:40 +08:00
Jon Eugster	10391b616c	add chinese translations	2024-03-28 20:45:50 +01:00
Hydrogenbear	1431ff8b49	remove the mistyped key	2024-03-28 10:21:10 +08:00
Hydrogenbear	d3a55a4dd3	add Chinese translation	2024-03-28 10:07:57 +08:00