doc: remove local copy of jquery.js#8425
Merged
nashif merged 1 commit intozephyrproject-rtos:masterfrom Jun 18, 2018
dbkinder:jquery
Merged
doc: remove local copy of jquery.js#8425nashif merged 1 commit intozephyrproject-rtos:masterfrom dbkinder:jquery
nashif merged 1 commit intozephyrproject-rtos:masterfrom
dbkinder:jquery
