Fix the docs on github pages

2021-03-08 01:03:19 +05:30
parent f9ebf59207
commit 30fd91650d
43 changed files with 928 additions and 0 deletions
@@ -0,0 +1,4 @@
+var searchIndex = JSON.parse('{\
+"ntext":{"doc":"","i":[[5,"digit_to_text","ntext","Convert digit to text.",null,[[["u8",15]],[["option",4],["string",3]]]],[5,"to_text","","Convert u32 to words in a string.",null,[[["u32",15]],["string",3]]]],"p":[]}\
+}');
+addSearchOptions(searchIndex);initSearch(searchIndex);