Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[docs] Reduce doc duplication between configuration.md and actual con…
…fig file Link to the config file instead of repeating documentation, since keeping the two in sync is cumbersome maintaincewise.
- Loading branch information