ui: build enhancement

This commit is contained in:
undefined committed 2022-02-13 23:25:11 +08:00
1 parent af994325b5
commit 773cc34b6e
7 files changed
+43 -7

No files matched your search

+1 -1
View File
@@ -226,7 +226,7 @@ Difficulty by algorithm: 算法计算的难度
Difficulty displayed: 显示的难度
Difficulty: 难度
Disabled: 关闭
Disconnected from the server. Reconnecting...: 到服务器的连接断开。正在重新连接...
Disconnected from the server. trying to reconnect...: 到服务器的连接断开。正在重新连接...
Discussion {1} not found.: 讨论 {1} 不存在。
Discussion category {1} already exists.: 讨论分类 {1} 已经存在。
Discussion category {1} not found.: 讨论分类 {1} 不存在。