We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated How to set up and customize GitHub actions robots (markdown)
just adding a word that was missing
Update ToCs
Update ToC
Add Table of contents everywhere
replace leanbuild -> ottr
Fix bullet point formatting
Update borrowing chapters wiki
Update _Leanpub -> _Quizzes
Search and replace all name changes
Make H1 headers for each
Revert "Get rid of H1 headers" This reverts commit 85a669f6c5320fadfb012261fd10ba75509df9a8.
Get rid of H1 headers
Prepping titles