ui: update pid display

This commit is contained in:
undefined committed 2022-12-12 03:16:08 +08:00
1 parent a6f48233d1
commit f4127a806a
4 files changed
+14 -9

No files matched your search

+1 -1
View File
@@ -8,7 +8,7 @@ contest_detail: Contest Detail
contest_edit: Contest Edit
contest_files: Contest Files
contest_main: Contest
contest_problemlist: Proble List
contest_problemlist: Problem List
contest_scoreboard: Scoreboard
discussion_create: Create Discussion
discussion_detail: Discussion Detail