update web script
authorThomasV <thomasv@gitorious>
Sat, 23 Nov 2013 14:47:00 +0000 (15:47 +0100)
committerThomasV <thomasv@gitorious>
Sat, 23 Nov 2013 14:47:00 +0000 (15:47 +0100)
commit49945a3bce888003c0abbe356908c9d5f50e30bc
treeb981aee0883306c4fe24a8089b833c7662e2e664
parent9dbae6d0aeba9c7191199c06ce6ac6990a39dbe0
update web script
contrib/make_download