language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-05 01:51:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update sync_to_summary.py

Browse source
This commit is contained in:
Cai Bingjun 2023-01-26 11:50:57 +08:00 • committed by GitHub
parent fce996c8c8
commit dfe85dd671
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/scripts/sync_to_summary.py
View file

@ -27,15 +27,15 @@ This file is for generating The Erg Book. Do not add badges, etc.\
"zh_CN": {
SUMMARY_TITLE: "Summary", # TODO: translate
SUMMARY_DESCRIPTION: """\
This file is generated automatically. If you want to edit this, edit `doc/scripts/sync_to_summary.py`
This file is for generating The Erg Book. Do not add badges, etc.\
该文件是自动生成的。如果你想编辑这个，编辑 `doc/scripts/sync_to_summary.py`
此文件用于生成Erg Book。不要添加翻译徽章等\
""", # TODO: translate
},
"zh_TW": {
SUMMARY_TITLE: "Summary", # TODO: translate
SUMMARY_DESCRIPTION: """\
This file is generated automatically. If you want to edit this, edit `doc/scripts/sync_to_summary.py`
This file is for generating The Erg Book. Do not add badges, etc.\
該文件是自動生成的。如果你想編輯這個，編輯 `doc/scripts/sync_to_summary.py`
此文件用於生成Erg Book。不要添加翻譯徽章等\
""", # TODO: translate
},
}