From: Ralf Jung <post@ralfj.de>
Date: Mon, 8 Jun 2015 12:08:13 +0000 (+0200)
Subject: add script to push docs (will be tested soon)
X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/a5db8629923dd434f3829f1a616764aa4170d67f?ds=inline;hp=a5db8629923dd434f3829f1a616764aa4170d67f

add script to push docs (will be tested soon)
---