ruanxingzhi 85de04ff6c 修复非80端口问题；在.config.php中自定义网站；docker build镜像名设为uoj		2017-04-07 17:02:34 +08:00
..
judge_client	fixed the port issue	2017-04-07 11:15:39 +08:00
.gitignore	fixed the port issue	2017-04-07 11:15:39 +08:00
app_uoj233.sql	fixed the port issue	2017-04-07 11:15:39 +08:00
Dockerfile	fixed the port issue	2017-04-07 11:15:39 +08:00
gen-uoj-config.php	修复非80端口问题；在.config.php中自定义网站；docker build镜像名设为uoj	2017-04-07 17:02:34 +08:00
install	fixed the port issue	2017-04-07 11:15:39 +08:00
jdk-7u76-linux-x64.tar.gz	Add two empty files	2017-04-07 11:16:38 +08:00
jdk-8u31-linux-x64.tar.gz	Add two empty files	2017-04-07 11:16:38 +08:00
new_problem.sh	fixed the port issue	2017-04-07 11:15:39 +08:00
post-commit.sh	fixed the port issue	2017-04-07 11:15:39 +08:00
sources.list	fixed the port issue	2017-04-07 11:15:39 +08:00
uoj-passwd	fixed the port issue	2017-04-07 11:15:39 +08:00
uoj-post-commit	fixed the port issue	2017-04-07 11:15:39 +08:00
up	fixed the port issue	2017-04-07 11:15:39 +08:00