-
Franco Fichtner authored
If one deletes "plugins.inc", this way the plugin system can be disabled. That's a lot better than removing plugins.inc.d/ content and executing the stubs everytime anyway. (cherry picked from commit 8371e3b9) (cherry picked from commit 87066bbe) (cherry picked from commit 4cb9fe70)
8f08a83c
Name |
Last commit
|
Last update |
---|---|---|
Mk | ||
contrib | ||
scripts | ||
src | ||
work | ||
+POST_INSTALL | ||
+PRE_DEINSTALL | ||
.editorconfig | ||
.gitignore | ||
CONTRIBUTING.md | ||
Makefile | ||
README.md |