commit | 7fcc0ca819a3ac7635ac42cf1843f96f6982b50f | [log] [tgz] |
---|---|---|
author | jonohart <jonomhart@gmail.com> | Fri Jan 03 10:25:31 2014 -0800 |
committer | jonohart <jonomhart@gmail.com> | Fri Jan 03 10:25:31 2014 -0800 |
tree | 6c175936126471d6e0e212a2310dc36ec78c5cd8 | |
parent | 05131470c281abad591a3acd7b9658535e9f6bb5 [diff] | |
parent | 645a668bc44b3d128fe99a95a0b6755a1fb46932 [diff] |
Merge pull request #512 from y-higuchi/remove_restart Remove restart option shown in Usage message, which currently does not work