Code

Fix missing newline from banner#1647

Code

Merged

thofma merged 1 commit intothofma:masterthofma/Hecke.jl:masterfrom paemurru:ep/add_missing_newlinepaemurru/Hecke.jl:ep/add_missing_newlineCopy head branch name to clipboardOct 10, 2024

+1

Commits

Commits on Oct 9, 2024

• Fix missing newline from banner

  paemurru

  committed
  d4dd6f2

  Copy full SHA for d4dd6f2