Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This makes an annoying IntelliJ unmaskable error (about using a level 0 section when doctype is not "book") go away.
- Loading branch information