Ricardo Garcia 43ff1a347d Change rg3.github.com to rg3.github.io almost everywhere		2013-04-06 10:46:17 +02:00
..
add-version.py
generate-download.py
sign-versions.py
update-copyright.py
update-feed.py