Updated API doc

2019-09-07 17:38:31 +02:00
parent b8e5f55368
commit 50dfd18b91
1143 changed files with 104600 additions and 83642 deletions
--- a/doc/api/search/groups_8.js
+++ b/doc/api/search/groups_8.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['stable_20extensions',['Stable extensions',['../a00703.html',1,'']]]
+  ['stable_20extensions',['Stable extensions',['../a00285.html',1,'']]]
 ];