diff options
| author |  Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-05-30 13:08:37 -0700 |
|---|---|---|
| committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-05-30 13:08:37 -0700 |
| commit | 2e378c89f89820941d1b30ad8c8b501fefa213b0 (patch) | |
| tree | a6fc49ed5ce72b408a3487b89de47e3f00a04714 /tools/dockerfile | |
| parent | 0461e07ab8d939f77fafa12e142fd2c69a8800f5 (diff) | |
| parent | a2779c122ec3b2c3b6a475afa2ed18145d1f1b61 (diff) | |
Merge pull request #1824 from ctiller/but-maybe-i-want-to-poll
Make it possible to run with poll() instead of epoll()
Diffstat (limited to 'tools/dockerfile')
0 files changed, 0 insertions, 0 deletions