Code

Add space to title in HTML output#20

Code

Merged

rtonsing merged 1 commit intoDistributedProofreaders:masterDistributedProofreaders/ppcomp:masterfrom jderuiter:masterjderuiter/ppcomp:masterCopy head branch name to clipboardJun 7, 2024

+1-1

Commits

Commits on Jun 7, 2024

• Add space to title in HTML output

  jderuiter

  committed
  579d9f5