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