Merge branch 'dev' into master

This commit is contained in:
Ju4tCode
2021-02-02 12:04:01 +08:00
committed by GitHub
66 changed files with 5633 additions and 203 deletions

View File

@ -176,7 +176,7 @@ def load_plugins(*plugin_dir: str) -> Set[Plugin]:
...
def load_builtin_plugins():
def load_builtin_plugins(name: str = ...):
...