Include chapters with no headers in the search index#1637
Merged
ehuss merged 1 commit intorust-lang:masterfrom Sep 3, 2021
Merged
Include chapters with no headers in the search index#1637ehuss merged 1 commit intorust-lang:masterfrom
ehuss merged 1 commit intorust-lang:masterfrom