diff options
Diffstat (limited to 'latest/search/pages_0.js')
| -rw-r--r-- | latest/search/pages_0.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/latest/search/pages_0.js b/latest/search/pages_0.js index 15bef17fea..e341d34146 100644 --- a/latest/search/pages_0.js +++ b/latest/search/pages_0.js @@ -1,4 +1,4 @@ var searchData= [ - ['arm_20nn_20operators_10584',['Arm NN Operators',['../operator_list.xhtml',1,'']]] + ['arm_20nn_20operators_10683',['Arm NN Operators',['../operator_list.html',1,'']]] ]; |