From d304910159e6824dae201e4e4aeafa0ff7984292 Mon Sep 17 00:00:00 2001 From: 简律纯 Date: Tue, 25 Jul 2023 12:37:11 +0800 Subject: add docs --- psi/docs/_build/html/_static/documentation_options.js | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 psi/docs/_build/html/_static/documentation_options.js (limited to 'psi/docs/_build/html/_static/documentation_options.js') diff --git a/psi/docs/_build/html/_static/documentation_options.js b/psi/docs/_build/html/_static/documentation_options.js deleted file mode 100644 index b57ae3b..0000000 --- a/psi/docs/_build/html/_static/documentation_options.js +++ /dev/null @@ -1,14 +0,0 @@ -var DOCUMENTATION_OPTIONS = { - URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '', - LANGUAGE: 'en', - COLLAPSE_INDEX: false, - BUILDER: 'html', - FILE_SUFFIX: '.html', - LINK_SUFFIX: '.html', - HAS_SOURCE: true, - SOURCELINK_SUFFIX: '.txt', - NAVIGATION_WITH_KEYS: false, - SHOW_SEARCH_SUMMARY: true, - ENABLE_SEARCH_SHORTCUTS: true, -}; \ No newline at end of file -- cgit v1.2.3-70-g09d2