Move plugin configuration to config.inc.php.dist
Description
Description
Details
Details
- Provenance
Bartlomiej Nogas Authored on Oct 20 2014, 7:05 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:e2251db1d5b5: CS fixes after PR merge
- Branches
- Unknown
- Tags