Merge branch '09-verification' into draft

This commit is contained in:
Heiko Schaefer 2023-12-05 13:42:23 +01:00
commit 28dd67d7f7
No known key found for this signature in database
GPG key ID: DAE9A9050FCCF1EB
18 changed files with 533 additions and 6 deletions

View file

@ -41,6 +41,7 @@ html-watch:
codespell:
@$(PRINTF) "The following change suggestions are only warnings! (Please don't fix them)\n"
@$(CODESPELL) source/diag || true
@$(CODESPELL) input/ || true
@$(PRINTF) "The following change suggestions are errors!\n"
@$(CODESPELL) .