Code

Exclude submissions from prettier#46

Code

Merged

bobot merged 1 commit intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom bobot:no-prettier-in-submissionsbobot/smt-comp.github.io:no-prettier-in-submissionsCopy head branch name to clipboardMay 17, 2024

+2

Commits

Commits on May 17, 2024

• Exclude submissions from prettier

  bobot

  committed
  df07507