diff options
| author | topecongiro <seuchida@gmail.com> | 2018-02-23 21:54:59 +0900 |
|---|---|---|
| committer | topecongiro <seuchida@gmail.com> | 2018-02-23 21:54:59 +0900 |
| commit | 5f49587a2cdcb74727c63516e589b3a047d547a1 (patch) | |
| tree | 65d8672524095d3e3486aad959be18877b186b5a /src/format-diff | |
| parent | cc2c7433e249005c0fb70744f999b4d7f2ad17fe (diff) | |
Update configuration tests
This commit adds following functionalities to `configuration_snippet_tests`: 1. Error if there is an unknown configuration option in Configuration.md. 2. Error if there are multiple guides for the same configuration option in Configuration.md. 3. Error if an user-facing configuration option does not have its guide in Configuration.md. We will be able to catch outdated Configuration.md. Should prevent issues like #2459.
Diffstat (limited to 'src/format-diff')
0 files changed, 0 insertions, 0 deletions