Skip to content

Commit

Permalink
Remove mirrored scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
espertus committed Mar 10, 2024
1 parent d78c136 commit 110ca81
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 289 deletions.
1 change: 0 additions & 1 deletion scripts/README.md

This file was deleted.

13 changes: 0 additions & 13 deletions scripts/prepare_autograder.sh

This file was deleted.

2 changes: 0 additions & 2 deletions scripts/run_autograder

This file was deleted.

258 changes: 0 additions & 258 deletions scripts/run_autograder.py

This file was deleted.

15 changes: 0 additions & 15 deletions scripts/setup.sh

This file was deleted.

0 comments on commit 110ca81

Please sign in to comment.