diff options
| author |  jesopo | 2020-02-09 10:15:08 +0000 |
|---|---|---|
| committer | jesopo | 2020-02-09 10:17:40 +0000 |
| commit | f3ac154fe2bffb0148b12adb5ad9dce763383775 (patch) | |
| tree | 44cbcaf6c734b2da14a2e28051f54ff6f99ddd31 /src/utils | |
| parent | insert new hooks at the start of their priority, to prevent duplicates on reload (diff) | |
| signature | ||
add ModuleManager.try_reload_module(), use it for !reloadmodule
Diffstat (limited to 'src/utils')
0 files changed, 0 insertions, 0 deletions