diff options
| author | 复予 <clonewith@qq.com> | 2024-06-11 11:58:24 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-11 11:58:24 +0800 |
| commit | 06383371ef3eb376989a37fb6994b1624be5627d (patch) | |
| tree | 7d29cf3d4164cd74ad316f1429cb0d31686be530 /lean4.html.markdown | |
| parent | 6b34d1f0838da0cd4d9899709c464b41c3878b26 (diff) | |
[bc/zh-cn] Add Simplified Chinese Translation of `bc` (#4977)
* [bc/zh-cn] Add Simplified Chinese Translation of bc
Signed-off-by: CloneWith <clonewith@qq.com>
* Apply suggestions from review (7)
---------
Signed-off-by: CloneWith <clonewith@qq.com>
Diffstat (limited to 'lean4.html.markdown')
0 files changed, 0 insertions, 0 deletions