diff options
author | Oleg Morozenkov <reo7sp@users.noreply.github.com> | 2017-01-26 14:31:14 +0300 |
---|---|---|
committer | Oleg Morozenkov <reo7sp@users.noreply.github.com> | 2017-01-26 14:31:14 +0300 |
commit | 2e6a6072e81a1845e7365e5f2dcd10cc9cb8ff56 (patch) | |
tree | aeaed6f544ee56b6e38a6963a40d1809769fc1a5 /docs/search/namespaces_0.js | |
parent | bf0d39d4aae287306daa1ed13182926a373e3e41 (diff) |
Bot compilation instructions in README. Update docs
Diffstat (limited to 'docs/search/namespaces_0.js')
-rw-r--r-- | docs/search/namespaces_0.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/search/namespaces_0.js b/docs/search/namespaces_0.js index 6a9e933..cfc7bdc 100644 --- a/docs/search/namespaces_0.js +++ b/docs/search/namespaces_0.js @@ -1,4 +1,4 @@ var searchData= [ - ['stringtools',['StringTools',['../namespace_string_tools.html',1,'']]] + ['filetools',['FileTools',['../namespace_file_tools.html',1,'']]] ]; |