diff options
| author | Diego Biurrun <diego@biurrun.de> | 2008-10-29 22:51:54 +0000 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2008-10-29 22:51:54 +0000 |
| commit | a56fbe2ac85a5a7258fa0cd91c608008ba3d15b4 (patch) | |
| tree | 36ce1ef9725c6b52dcf983f4222362e1685b038e /doc/general.texi | |
| parent | bf2cdefc6aa13677f20e905ea345fd878ed4211a (diff) | |
Revert adding controversial 'make checkheaders' item to the development policy.
Originally committed as revision 15743 to svn://svn.ffmpeg.org/ffmpeg/trunk
Diffstat (limited to 'doc/general.texi')
| -rw-r--r-- | doc/general.texi | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/general.texi b/doc/general.texi index 9a823d4d8c..3b4b372155 100644 --- a/doc/general.texi +++ b/doc/general.texi @@ -951,9 +951,6 @@ should also be avoided if they don't make the code easier to understand. @item If you add a new file, give it a proper license header. Do not copy and paste it from a random place, use an existing file as template. -@item - If you add a new header or change an existing one, make sure it passes - @code{make checkheaders}. @end enumerate We think our rules are not too hard. If you have comments, contact us. |