diff options
| author | Bruno Ribas <brunoribas@gmail.com> | 2020-11-16 18:33:40 +0000 |
|---|---|---|
| committer | Bruno Ribas <brunoribas@gmail.com> | 2020-11-16 18:33:40 +0000 |
| commit | 74236b602ad5ced3c740da801d976ed78f9d8095 (patch) | |
| tree | fe1ea748b919b3ed82527aa2e7d4ce4b1668b90a /src/judge/header.php | |
| parent | c13bc2bca5ad0e2ac93b4c36c2c496190c0bcfda (diff) | |
| download | boca-74236b602ad5ced3c740da801d976ed78f9d8095.tar.gz boca-74236b602ad5ced3c740da801d976ed78f9d8095.zip | |
Normal judges may check all submissions but cannot change the veredict
Signed-off-by: Bruno Ribas <brunoribas@gmail.com>
Diffstat (limited to 'src/judge/header.php')
| -rw-r--r-- | src/judge/header.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/judge/header.php b/src/judge/header.php index ac5c699..2874366 100644 --- a/src/judge/header.php +++ b/src/judge/header.php @@ -92,6 +92,9 @@ echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" if($isboss) { echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=runchief.php>Chief ($nrchief)</a></td>\n"; } +{ + echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=allrunlist.php>All runs </a></td>\n"; +} echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=score.php>Score</a></td>\n"; echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=clar.php>Clarifications ($nc)</a></td>\n"; |