diff options
| author | Nick Cameron <nrc@ncameron.org> | 2018-02-25 12:46:07 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-25 12:46:07 +1300 |
| commit | 4d3b73e075193f2e575d93bfa2bcddab422af55d (patch) | |
| tree | 6b0cde34d7718c3ae323b251bdd76ce3c4eb5d4d /src/format-diff | |
| parent | eea5dcac4661877dc5e1921eb201102c903f21e6 (diff) | |
| parent | 34f6408ea2f0cf0b66eea083169217399b77ff96 (diff) | |
Merge pull request #2483 from topecongiro/error-on-unknown-config-name-in-configurations
Error on outdated Configurations.md
Diffstat (limited to 'src/format-diff')
0 files changed, 0 insertions, 0 deletions