Code

Script improvements#360

Code

Closed

mernst wants to merge 1 commit intobenedikt-schesch:mainbenedikt-schesch/AST-Merging-Evaluation:mainfrom mernst:app-pre1mernst/AST-Merging-Evaluation:app-pre1Copy head branch name to clipboard

+155-43

Commits

Commits on Sep 21, 2024

• Script improvements

  mernst

  committed
  d394a3f

  Copy full SHA for d394a3f