diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-02-06 18:57:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-06 18:57:23 -0500 |
| commit | b6ffda484971306264c8c95facf75eec4c85b62a (patch) | |
| tree | 90310202cf0701a022fcbed62715a711af8f7e7d /util/add-paths.bat | |
| parent | 449ab9109ab0d04944de8430d8d910cf7f1e8856 (diff) | |
| parent | 45e0d09414c09c626d2349b6a5036a29fe03b1c6 (diff) | |
Merge pull request #1010 from SjB/oneshot_timeout_fix
oneshot timeout would only timeout after an event.
Diffstat (limited to 'util/add-paths.bat')
0 files changed, 0 insertions, 0 deletions