commit 090b23707bc8fd3f32ddd2f2402a474326b461b1 parent e66773fe3409ba19d96392484da39deb9eb23097 Author: deurzen <m.deurzen@tum.de> Date: Sat, 28 Nov 2020 12:18:44 +0100 moves checker programs to dedicated directory Diffstat:
R | check_filehiding -> checkers/check_filehiding | | | 0 | |
R | check_pingpong.py -> checkers/check_pingpong.py | | | 0 |
2 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/check_filehiding b/checkers/check_filehiding Binary files differ. diff --git a/check_pingpong.py b/checkers/check_pingpong.py