tree bb7efbb45753dad3b4a8b6f08984b18469ee089d
parent be48647b37beb2e3ffc878b61bd0530085a48d40
author Adnan Begovic <adnan@cyngn.com> 1435105953 -0700
committer Adnan Begovic <adnan@cyngn.com> 1435105953 -0700

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