add script to push docs (will be tested soon)
authorRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 12:08:13 +0000 (14:08 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 12:08:13 +0000 (14:08 +0200)
commita5db8629923dd434f3829f1a616764aa4170d67f
tree446cea9d7654cb549064ec374dc0770a302a4463
parente48d2870f91b769680b0cd12895066a94c4131aa
add script to push docs (will be tested soon)
push-docs [new file with mode: 0644]
src/main.rs
src/part01.rs