[FFmpeg-devel] [PATCH] web/download: remove developer repos and cleanup

[Lou Logan]

On Mon, 10 Mar 2014 20:18:03 -0700, Timothy Gu wrote:

> * Showing the developer repos is very confusing to newcomers to this website
> * Half of the developer repos are dead.
> * There are 599 forks on GitHub, many of them have constructive edits, and it
>   is impossible to list them all out.
> * Also adds a dedicated "mirror" section.
> * Fix GitHub snapshot URL.
> * The CSS changes are needed to keep the table as pretty as it is now.
>   Suggestions welcome.
> 
> Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> ---
>  htdocs/default.css |   8 ++-
>  src/download       | 192 +++++------------------------------------------------
>  2 files changed, 22 insertions(+), 178 deletions(-)

Pushed with a few minor changes. Thanks.