Skip to content

Commit 7ea7050

Browse files
inkustrinkustr
committed
Delete unused checker and rename checker3
1 parent 320dd49 commit 7ea7050

37 files changed

+0
-4678
lines changed

‎checker‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎checker-rs/.dockerignore‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎checker-rs/.gitignore‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)