fix the script
authorRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 12:10:06 +0000 (14:10 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 12:10:06 +0000 (14:10 +0200)
commit231a88af0700e47c79f2e900323792ec91c41530
tree6f4ef66d3d7085a3e24b3414111dc5d33acc3cb6
parenta5db8629923dd434f3829f1a616764aa4170d67f
fix the script
push-docs [changed mode: 0644->0755]
src/part00.rs
src/part01.rs