Skip to content

Commit

Permalink
removing redundant files (#55)
Browse files Browse the repository at this point in the history
  • Loading branch information
timurcarstensen authored Jul 2, 2024
1 parent 030e706 commit a1d9538
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 17 deletions.
7 changes: 0 additions & 7 deletions dev_setup.sh

This file was deleted.

10 changes: 0 additions & 10 deletions githooks/pre-commit

This file was deleted.

0 comments on commit a1d9538

Please sign in to comment.