Taehyun Lee
|
cebea6a6aa
|
Add Korean on config.json
|
6 months ago |
Jon Eugster
|
36499c0257
|
add note for servers with different base url
|
6 months ago |
|
Jon Eugster
|
8c5e47dd7b
|
improve doc, adaptation of #250
Co-authored-by: JadAbouHawili <jad-abou-hawili@hotmail.com>
|
7 months ago |
|
Jon Eugster
|
a46840d327
|
Merge pull request #253 from pitmonticone/fix-typos
Fix typos
|
7 months ago |
Pietro Monticone
|
f518efc81c
|
Update LetIntros.lean
|
7 months ago |
|
Pietro Monticone
|
9b93e3817d
|
Update RpcHandlers.lean
|
7 months ago |
|
Pietro Monticone
|
54c1e0dcaf
|
Update FileWorker.lean
|
7 months ago |
|
Pietro Monticone
|
2c1e69611b
|
Update Commands.lean
|
7 months ago |
|
Pietro Monticone
|
2c22c445b1
|
Update AbstractCtx.lean
|
7 months ago |
|
Pietro Monticone
|
b6b31a06ac
|
Update README.md
|
7 months ago |
|
Jon Eugster
|
255839fea7
|
Merge pull request #248 from Lean-zh/main
Environment Variable for Default Language Setting
|
7 months ago |
|
Jon Eugster
|
b961030db2
|
Update hints.md
|
7 months ago |
rexwzh
|
c20d807d5c
|
add default language configuration
|
8 months ago |
|
Jon Eugster
|
23c8099401
|
Merge pull request #244 from RexWzh/main
Update ZH-Translation for Lean Game Server
|
8 months ago |
|
rexwzh
|
6bd9e95db9
|
update zh-translation
|
8 months ago |
|
Jon Eugster
|
1febc51791
|
Update create_game.md
|
8 months ago |
|
Jon Eugster
|
d53b57a764
|
Update create_game.md
|
8 months ago |
|
Jon Eugster
|
020b4f7803
|
Update create_game.md
|
8 months ago |
|
Jon Eugster
|
0ae099414c
|
Update create_game.md
|
8 months ago |
|
Jon Eugster
|
b091ec579b
|
Merge pull request #236 from RexWzh/main
Fix Bug with Environment Variables for Ports
|
9 months ago |
cubenlp
|
2a14f48f45
|
use environment variable for port
|
9 months ago |
|
Jon Eugster
|
4ed0753bb0
|
Merge pull request #234 from miguelmarco/patch-1
Spanish translation of the UI
|
9 months ago |
|
Jon Eugster
|
6b5fc80896
|
Update client/public/locales/es/translation.json
|
9 months ago |
|
Jon Eugster
|
e56c7a0670
|
Update client/public/locales/es/translation.json
|
9 months ago |
|
Jon Eugster
|
5b710da197
|
Update client/public/locales/es/translation.json
|
9 months ago |
miguelmarco
|
b275bbb94f
|
Update translation.json
Spanish translation of the UI.
|
9 months ago |
|
Jon Eugster
|
29eb90e6c8
|
add spanish
|
9 months ago |
|
Jon Eugster
|
4e9ac54cde
|
Merge pull request #224 from JadAbouHawili/patch-1
Typo in documentation, hints.md
|
10 months ago |
JadAbouHawili
|
18f21fa324
|
Typo in documentation, hints.md
|
10 months ago |
|
Jon Eugster
|
d034148bec
|
Update README.md
|
11 months ago |
|
Jon Eugster
|
feaf6dae0c
|
Update translate.md
|
11 months ago |
|
Jon Eugster
|
6059ff1da7
|
Update translate.md
|
11 months ago |
|
Jon Eugster
|
6f95f41d14
|
Update translate.md
|
11 months ago |
|
Jon Eugster
|
335209b094
|
Update README.md
|
11 months ago |
|
Jon Eugster
|
de1ff4fadc
|
Update create_game.md
|
11 months ago |
|
Jon Eugster
|
db66cb1fcc
|
Create translate.md
|
11 months ago |
|
Jon Eugster
|
66aa8e688e
|
npm audit
|
11 months ago |
|
Jon Eugster
|
a523bab1d6
|
fix css warning
|
11 months ago |
|
Jon Eugster
|
499bb00d4f
|
fix language loading on landing page
|
11 months ago |
|
Jon Eugster
|
67b03d9ccf
|
bump to v4.7.0
|
11 months ago |
|
Jon Eugster
|
a15dd0a1bd
|
bump i18n
|
11 months ago |
|
Jon Eugster
|
d456621875
|
apply suggestions from PR #206 manually
|
11 months ago |
|
Jon Eugster
|
74059bd5af
|
fix typo
|
11 months ago |
|
Jon Eugster
|
ce71bc81c6
|
remove logInfo for Branch finishing proof
|
11 months ago |
|
Jon Eugster
|
7cedfc5038
|
mark some server messages for translation
|
11 months ago |
|
Jon Eugster
|
a8d3169ebb
|
add some translation keys
|
11 months ago |
|
Jon Eugster
|
9b05a27888
|
use translation of level title
|
11 months ago |
|
Jon Eugster
|
3124d90cd6
|
typo
|
11 months ago |
|
Jon Eugster
|
5a768c25b7
|
mark two more translations
|
11 months ago |
|
Jon Eugster
|
39be34e83a
|
improve landing page
|
11 months ago |