generate download.html in push-to-web
authorDan Vanderkam <danvdk@gmail.com>
Mon, 12 Aug 2013 22:20:20 +0000 (18:20 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 12 Aug 2013 22:20:20 +0000 (18:20 -0400)
commit5c364f5751e9cd909895f7883c2bfac38eb8c407
treec4ac815ca9e5a6d6b52dec8b83fb3176e298cc7c
parentac6a9c2bada17f16b338c4c403f372ac14980635
generate download.html in push-to-web
push-to-web.sh