Updated API doc

2018-09-02 23:34:18 +02:00
parent 49b508a1ab
commit 0c2e470baf
1013 changed files with 94654 additions and 80816 deletions
--- a/doc/api/search/groups_7.js
+++ b/doc/api/search/groups_7.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['precision_20types',['Precision types',['../a00150.html',1,'']]]
+  ['recommended_20extensions',['Recommended extensions',['../a00704.html',1,'']]]
 ];