diff options
| author |   José Bollo <jose.bollo@iot.bzh> | 2017-03-27 12:00:12 +0200 |
|---|---|---|
| committer | José Bollo <jose.bollo@iot.bzh> | 2017-03-27 13:36:25 +0200 |
| commit | 8ab18c9dd70205755b67001ce27a499c0196ad63 (patch) | |
| tree | da1ab38d8de764f7e2d8147f65ccf2ad335d6e4f /doc/index.md | |
| 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/index.md')
0 files changed, 0 insertions, 0 deletions