update the docs

2020-06-13 19:02:58 -07:00
parent 2e6912bf8a
commit fc89670749
178 changed files with 7554 additions and 2033 deletions
--- a/docs/search/pages_0.js
+++ b/docs/search/pages_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['get_20information_20out_20of_20xml',['Get information out of XML',['../_example_3.html',1,'']]]
+  ['get_20information_20out_20of_20xml_280',['Get information out of XML',['../_example_3.html',1,'']]]
 ];