git pushMerge branch 'master' of github.com:rg3/youtube-dl
[youtube-dl] / devscripts / gh-pages /
drwxr-xr-x   ..
-rwxr-xr-x 1170 add-version.py
-rwxr-xr-x 1263 generate-download.py
-rwxr-xr-x 909 sign-versions.py
-rwxr-xr-x 614 update-copyright.py
-rwxr-xr-x 2323 update-feed.py
-rwxr-xr-x 1041 update-sites.py