jsk-ros-pkg / jsk_docs

2 stars 3 forks source link

[doc/conf.py] update search engine id (enable tabs) #2

Closed furushchev closed 8 years ago

furushchev commented 8 years ago

updated google custom search engine.

You can try new custom search engine here: https://cse.google.co.jp/cse/publicurl?cx=004597581434396922146:u8zamng695e#gsc.tab=0