Merge pull request #65 from leoleoasd/develop

Fixed git ignore issue.
This commit is contained in:
billchenchina 2020-07-20 16:29:54 +08:00 committed by GitHub
commit 2644feee3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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