diff options
| author | Michael Niedermayer <michaelni@gmx.at> | 2011-04-03 02:44:17 +0200 |
|---|---|---|
| committer | Michael Niedermayer <michaelni@gmx.at> | 2011-04-03 03:18:06 +0200 |
| commit | a3b718436510c0e0930431a8a5255bcf4d4b4068 (patch) | |
| tree | e0dd722b844d68ab7cde990566f86a74341b1f87 /doc | |
| parent | 78431098f9e306ebe27e7698d0ae539e3df2afe9 (diff) | |
patch checklist:Remove pointless checkheaders comment, its just a waste of time
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/developer.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index aedc4777bf..a784e7c2e6 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -321,8 +321,6 @@ send a reminder by email. Your patch should eventually be dealt with. @item Do the regression tests pass with the patch applied? @item - Does @code{make checkheaders} pass with the patch applied? -@item Is the patch a unified diff? @item Is the patch against latest FFmpeg git master branch? |