Merge branch 'adjacent-plus-plumelib' of github.com:mernst/AST-Mergin…

…g-Evaluation into adjacent-plus-plumelib
benedikt-schesch · Sep 22, 2024 · 25daa95 · 25daa95
2 parents 7c392ad + c7fb4f3
commit 25daa95
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/test/small-goal-files/repos_head_passes.csv b/test/small-goal-files/repos_head_passes.csv