moved docs and updates generation scripts from gh-pages branch to devscripts
authorFilippo Valsorda <filippo.valsorda@gmail.com>
Sun, 30 Dec 2012 20:02:19 +0000 (21:02 +0100)
committerFilippo Valsorda <filippo.valsorda@gmail.com>
Sun, 30 Dec 2012 20:02:19 +0000 (21:02 +0100)
commit067f6a3536cfd8338c1d17400128d5cec405bce7
tree905602b40111fc1339fca6d5115e17d517193e36
parent8cad53e84c0e291b34df81201c27ba0323471a66
moved docs and updates generation scripts from gh-pages branch to devscripts
devscripts/gh-pages/generate-download.py [new file with mode: 0755]
devscripts/gh-pages/sign_versions.py [new file with mode: 0755]
devscripts/gh-pages/update-copyright.py [new file with mode: 0755]