Merge branch 'master' into region

2023-04-29 09:28:04 +08:00
parent 87d3f3688a 23cc2b2df5
commit 089a12e137
11 changed files with 222206 additions and 48 deletions
--- a/api/init.py
+++ b/api/init.py
@@ -1,5 +1,5 @@
 from .project import list_project, have_project, create_project, delete_project, clean_project
-from .project import is_project_open, get_project_open_count, open_project, close_project
+from .project import is_project_open, open_project, close_project
 from .project import copy_project

 from .inp_in import read_inp, import_inp