diff options
| author | Peter Korsgaard <peter@korsgaard.com> | 2017-11-13 23:16:31 +0100 |
|---|---|---|
| committer | Peter Korsgaard <peter@korsgaard.com> | 2017-11-13 23:16:31 +0100 |
| commit | f5022e070a87d595f0f5810833875e8c69a5f1a1 (patch) | |
| tree | 0a743e9dec683dc45cc6033d0bcaad0819c2fc43 /docs/manual/developers.txt | |
| parent | e57335cec2afe1aac395018c988e8946f8c76207 (diff) | |
| parent | 071cc43892f4a6c0b26b7a145f844acde31e7ee0 (diff) | |
| download | buildroot-f5022e070a87d595f0f5810833875e8c69a5f1a1.tar.gz buildroot-f5022e070a87d595f0f5810833875e8c69a5f1a1.zip | |
Merge tag '2017.11-rc2' into next
master has gained a number of autobuilder bugfixes since rc1, so merge these
to next to also fix them there.
Diffstat (limited to 'docs/manual/developers.txt')
| -rw-r--r-- | docs/manual/developers.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/developers.txt b/docs/manual/developers.txt index 4e2cd71638..a0a3668dbc 100644 --- a/docs/manual/developers.txt +++ b/docs/manual/developers.txt @@ -44,3 +44,5 @@ the +DEVELOPERS+ file for various tasks: list the ones that are not handled by any developer. The purpose of this option is to help completing the +DEVELOPERS+ file. +- When using without any arguments, it validates the integrity of the + DEVELOPERS file and will note WARNINGS for items that don't match. |
