Skip to content
Snippets Groups Projects
user avatar
Andreas Gohr authored
This patch moved the place where DOKU_PLUGIN is defined. It no longer
can be set from a normal config (only via preload)
c2a6d816
History
Name Last commit Last update