add script to push docs (will be tested soon)
[rust-101.git] / .gitignore
1 target
2 docs