Fixed git ignore issue.

This commit is contained in:
Leo Lu 2020-07-14 21:25:24 +08:00
parent 230738b770
commit 594289ffc7
No known key found for this signature in database
GPG Key ID: EC4C3B95BF6726B5
4 changed files with 16 additions and 0 deletions

15
judger/.gitignore vendored Normal file
View File

@ -0,0 +1,15 @@
.conf.json
log
uoj_judger/builtin/checker/*
!uoj_judger/builtin/checker/*.cpp
!uoj_judger/builtin/checker/*.h
uoj_judger/builtin/judger/*
!uoj_judger/builtin/judger/*.cpp
!uoj_judger/builtin/judger/*.h
uoj_judger/data
uoj_judger/include/uoj_work_path.h
uoj_judger/main_judger
uoj_judger/run/*
!uoj_judger/run/*.cpp
!uoj_judger/run/*.h

0
judger/judge_client Normal file → Executable file
View File

View File

1
web/.gitignore vendored
View File

@ -1,2 +1,3 @@
.idea
.php_cs.cache
app/.config.php