diff options
author | 2017-03-27 12:00:12 +0200 | |
---|---|---|
committer | 2017-03-27 13:36:25 +0200 | |
commit | 8ab18c9dd70205755b67001ce27a499c0196ad63 (patch) | |
tree | da1ab38d8de764f7e2d8147f65ccf2ad335d6e4f /doc | |
parent | 44f21bd2a3b50f92669223cdafe79993654c1e19 (diff) |
Implement dichotomic search of APIs
This is a small improvement but it costs
so few that it is welcome.
Change-Id: I96db79b17ec811582c8e5d1d512afacece284016
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions