more precise cleanup in push-to-web.sh
authorDan Vanderkam <danvdk@gmail.com>
Sun, 23 Nov 2014 17:53:55 +0000 (12:53 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Sun, 23 Nov 2014 17:53:55 +0000 (12:53 -0500)
commita81eeb1f6baf40a1ec32c889637cd381bc5c7ae8
treee92228a4f4c61d89a3741a4037fb3ae70ceb14a8
parent1f46bf666448eb4f2c37c5fec85a047720e6cc53
more precise cleanup in push-to-web.sh
push-to-web.sh