Skip to content

Commit

Permalink
Merge pull request #18 from VeriFIT/repo-cleaning
Browse files Browse the repository at this point in the history 
Evaluation script update
  • Loading branch information
@vhavlena
vhavlena authored May 10, 2024
2 parents dd4c5dc + e91920c commit ad94605
Showing 1 changed file with 1,105 additions and 0 deletions.
Loading

0 comments on commit ad94605

Please sign in to comment.