diff options
author | Jack Humbert <jack.humb@gmail.com> | 2016-11-21 19:58:55 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-21 19:58:55 -0500 |
commit | 132c079534cba91f7219b4efb6292ca6dec6b4d2 (patch) | |
tree | efdf7e5573de4b95a1ac6da932ed0d6b4a8ccf6d /Vagrantfile | |
parent | e0fc186c28974bc0c921774e359d134eab258f73 (diff) | |
parent | 74a1f00713d1407fb1d2e20d58da93919ab0c221 (diff) |
Merge pull request #890 from algernon/f/space-cadet/timeout
Add a timeout to space-cadet shift.
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions