aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar David Klempner <klempner@google.com>2015-09-29 13:10:11 -0700
committerGravatar David Klempner <klempner@google.com>2015-09-29 13:10:11 -0700
commit3ac9317b8118d4da1a8fffeab8a6b85de9fe1597 (patch)
treeba4d4a75260c959531d961f6067514210ca244fe /tools
parentdcda6e8052332779eab8f3cbbc504d7965e617ae (diff)
parent8c7665e06d16b4978c2d09203f3ab75e0d0b698b (diff)
Merge pull request #3560 from vjpai/block_annotate_todo
Add some TODO comments for possible poll optimization
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions