diff options
| author | davidevinavil <davidevinavil@gmail.com> | 2017-06-16 18:17:01 +0200 |
|---|---|---|
| committer | davidevinavil <davidevinavil@gmail.com> | 2017-06-21 12:36:06 +0200 |
| commit | b86dc98d33ef22809972833a294ddbbe25f4c452 (patch) | |
| tree | 2b7600a93c174f8daf80f9479692a45dd292a8ea /setup-makefiles.sh | |
| parent | 45e79c748e6b657b91f8b1b2965b7cacb8a4877a (diff) | |
proximity: Increase timeout
Diffstat (limited to 'setup-makefiles.sh')
0 files changed, 0 insertions, 0 deletions