Code

Disable comments by default#80

Code

Merged

msprotz merged 3 commits intomainAeneasVerif/eurydice:mainfrom franziskus/disable-commentsAeneasVerif/eurydice:franziskus/disable-commentsCopy head branch name to clipboardOct 17, 2024

+4-1

Commits

Commits on Oct 11, 2024

• Disable comments by default

  Show description for 809fdf7
  franziskuskiefer

  committed
  809fdf7

  Copy full SHA for 809fdf7

Commits on Oct 14, 2024

• empty commit

  franziskuskiefer

  committed
  e2db6e8

  Copy full SHA for e2db6e8

Commits on Oct 17, 2024

• Fix the option name to follow the -f convention; fix test

  msprotz

  committed
  f2e88a2

  Copy full SHA for f2e88a2