tree 6c175936126471d6e0e212a2310dc36ec78c5cd8
parent 05131470c281abad591a3acd7b9658535e9f6bb5
parent 645a668bc44b3d128fe99a95a0b6755a1fb46932
author jonohart <jonomhart@gmail.com> 1388773531 -0800
committer jonohart <jonomhart@gmail.com> 1388773531 -0800

Merge pull request #512 from y-higuchi/remove_restart

Remove restart option shown in Usage message, which currently does not work