chore: More formatting

This commit is contained in:
2026-06-07 00:30:21 +00:00
parent b4ee0eb212
commit 54d560980b
328 changed files with 39026 additions and 9988 deletions

View File

@@ -50,4 +50,3 @@
the end of every other session. The details of this system can be found on
page 226.
</p>