copy extras directory to web
authorDan Vanderkam <danvdk@gmail.com>
Mon, 15 Apr 2013 03:02:10 +0000 (23:02 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 15 Apr 2013 03:02:10 +0000 (23:02 -0400)
commit20aa21e92f829f11fa4862a84c9097cd1c0f95e5
treec6dd0ba424224efdd1d7e2100266b8aeec430d9f
parent8149f7915268e4eda41fc31897f4559342aa7e13
copy extras directory to web
push-to-web.sh