diff options
Diffstat (limited to 'docs/extensions.md')
-rw-r--r-- | docs/extensions.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/extensions.md b/docs/extensions.md index 7152ef6..ae5cb5c 100644 --- a/docs/extensions.md +++ b/docs/extensions.md @@ -25,11 +25,6 @@ inst.extensionDir() # where loaded successfully are returned inst.extensionList(loadedOnly = False) -# Mark an extension as loaded -# This should normally not be used and exists mainly -# for use by the extension manager -inst.flagAsLoaded("name_of_extension") - # Returns the path of the custom location to # where missing dependencies should be pip installed inst.pythonPackagePath() |