From 594289ffc7b1cee92364b2f036e059ae8682c522 Mon Sep 17 00:00:00 2001 From: Leo Lu Date: Tue, 14 Jul 2020 21:25:24 +0800 Subject: [PATCH] Fixed git ignore issue. --- judger/.gitignore | 15 +++++++++++++++ judger/judge_client | 0 judger/log/judge.log | 0 web/.gitignore | 1 + 4 files changed, 16 insertions(+) create mode 100644 judger/.gitignore mode change 100644 => 100755 judger/judge_client delete mode 100644 judger/log/judge.log diff --git a/judger/.gitignore b/judger/.gitignore new file mode 100644 index 0000000..6fe0a98 --- /dev/null +++ b/judger/.gitignore @@ -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 + diff --git a/judger/judge_client b/judger/judge_client old mode 100644 new mode 100755 diff --git a/judger/log/judge.log b/judger/log/judge.log deleted file mode 100644 index e69de29..0000000 diff --git a/web/.gitignore b/web/.gitignore index 2707a46..27bcedc 100644 --- a/web/.gitignore +++ b/web/.gitignore @@ -1,2 +1,3 @@ .idea .php_cs.cache +app/.config.php