add some links to external resources
[rust-101.git] / push-docs
2015-06-08 Ralf Jungfix the script
2015-06-08 Ralf Jungadd script to push docs (will be tested soon)