Skip to content

Keep the relative indentation of <pre>{@code} lines written without * - #117

Merged
abashev merged 1 commit into
mainfrom
gjf-1476-pre-indent-without-star
Oct 9, 2026
Merged

abashev merged 1 commit into
mainfrom
gjf-1476-pre-indent-without-star

Keep the relative indentation of <pre>{@code} lines written without `*`

b19048a
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Oct 8, 2026 in 4s

1 configuration not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:analyze

View all branch alerts.