From dd7af3b2a93bb9469dae6bfb0d10d2622cd3fb2b Mon Sep 17 00:00:00 2001 From: TTangNingzhi Date: Mon, 22 Jan 2024 11:59:28 -0500 Subject: [PATCH] update --- .idea/workspace.xml | 54 +++++++++++++++++++++++------------------- site/static/paper.pdf | Bin 675351 -> 812487 bytes site/usage.md | 4 ++-- 3 files changed, 31 insertions(+), 27 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 14804bc..913af59 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -6,7 +6,8 @@ - + + - { - "keyToString": { - "JavaVariableFindUsagesOptions.isSearchForAccessors": "true", - "RunOnceActivity.OpenProjectViewOnStart": "true", - "RunOnceActivity.ShowReadmeOnStart": "true", - "SHARE_PROJECT_CONFIGURATION_FILES": "true", - "ShowUsagesActions.previewPropertyKey": "true", - "WebServerToolWindowFactoryState": "false", - "git-widget-placeholder": "main", - "last_opened_file_path": "D:/IdeaProjects/CodeGRITS/site", - "node.js.detected.package.eslint": "true", - "node.js.detected.package.tslint": "true", - "node.js.selected.package.eslint": "(autodetect)", - "node.js.selected.package.tslint": "(autodetect)", - "nodejs_package_manager_path": "npm", - "project.structure.last.edited": "Libraries", - "project.structure.proportion": "0.0", - "project.structure.side.proportion": "0.0", - "settings.editor.selected.configurable": "preferences.pluginManager", - "vue.rearranger.settings.migration": "true" + +}]]> + - @@ -104,7 +105,7 @@ - +