Skip to content

Commit

Permalink
chore: remove unnecessary Prover.tomls
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Sep 24, 2024
1 parent e3cdebe commit 477f619
Show file tree
Hide file tree
Showing 29 changed files with 0 additions and 20 deletions.
Empty file.
Empty file.
Empty file.

This file was deleted.

Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Empty file.
Empty file.
Empty file.

This file was deleted.

Empty file.

This file was deleted.

Empty file.

This file was deleted.

2 changes: 0 additions & 2 deletions test_programs/compile_success_empty/traits/Prover.toml

This file was deleted.

This file was deleted.

2 changes: 0 additions & 2 deletions test_programs/compile_success_empty/vectors/Prover.toml

This file was deleted.

Empty file.
Empty file.

This file was deleted.

0 comments on commit 477f619

Please sign in to comment.