summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2017-03-27 12:00:12 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2017-03-27 13:36:25 +0200
commit8ab18c9dd70205755b67001ce27a499c0196ad63 (patch)
treeda1ab38d8de764f7e2d8147f65ccf2ad335d6e4f /doc
parent44f21bd2a3b50f92669223cdafe79993654c1e19 (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