| commit | 3314aacd79c6e1778791a3d0fafd7ca921e7b397 | [log] [tgz] |
|---|---|---|
| author | Adnan Begovic <adnan@cyngn.com> | Tue Jun 23 17:32:33 2015 -0700 |
| committer | Adnan Begovic <adnan@cyngn.com> | Tue Jun 23 17:32:33 2015 -0700 |
| tree | bb7efbb45753dad3b4a8b6f08984b18469ee089d | |
| parent | be48647b37beb2e3ffc878b61bd0530085a48d40 [diff] |
vendor/cm: Remove search widget from developer docs. Since github.io is a static page, and we lack an enpoint to search, the search widget is useless. Change-Id: I7c5728abaac880359daa71aa1d7093e38061231c