Filippo Valsorda 067f6a3536 moved docs and updates generation scripts from gh-pages branch to devscripts vor 12 Jahren
..
generate-download.py 067f6a3536 moved docs and updates generation scripts from gh-pages branch to devscripts vor 12 Jahren
sign_versions.py 067f6a3536 moved docs and updates generation scripts from gh-pages branch to devscripts vor 12 Jahren
update-copyright.py 067f6a3536 moved docs and updates generation scripts from gh-pages branch to devscripts vor 12 Jahren