duckscript/docs/api/duckscript_cli/search-index.js

4 lines
539 B
JavaScript
Raw Normal View History

2020-05-07 16:58:04 +00:00
var searchIndex = JSON.parse('{\
2020-07-03 11:34:07 +00:00
"duck":{"doc":"duckscript_cli","i":[[5,"main","duck","",null,[[]]],[5,"run_cli","","",null,[[],[["scripterror",3],["result",4]]]],[5,"create_context","","",null,[[],[["result",4],["context",3],["scripterror",3]]]],[5,"run_script","","",null,[[],[["scripterror",3],["result",4]]]],[5,"run_repl","","",null,[[],[["scripterror",3],["result",4]]]],[7,"VERSION","","",null,null],[7,"AUTHOR","","",null,null],[7,"DESCRIPTION","","",null,null]],"p":[]}\
2020-05-07 16:58:04 +00:00
}');
2020-01-24 10:26:57 +00:00
addSearchOptions(searchIndex);initSearch(searchIndex);