rust-101.git
2015-06-08 Ralf Jungwrite something on read_vec
2015-06-08 Ralf Jungfix the script
2015-06-08 Ralf Jungadd script to push docs (will be tested soon)
2015-06-08 Ralf Junginitial commit