Merge pull request #2620 from nodiscc/flatten-sections

flatten table of contents + syntax and case fixes
pull/2621/head
nodiscc 3 years ago committed by GitHub
commit ed5d85459e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff
Loading…
Cancel
Save