Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Add headers to individual options in config documentation to allow for linking. #13055

Merged
merged 4 commits into from
Jun 15, 2022
Merged
Show file tree
Hide file tree
Changes from 3 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
1 change: 1 addition & 0 deletions changelog.d/13055.misc
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Add headers to individual options in config documentation to allow for linking.