diff options
| author | Mandragorat Wandystanu <wktir@wandystan.eu> | 2017-11-15 15:09:30 +0100 |
|---|---|---|
| committer | Mandragorat Wandystanu <wktir@wandystan.eu> | 2017-11-16 14:31:39 +0100 |
| commit | 9d6341d270c01d09194a1bf169390ad8198f694d (patch) | |
| tree | b139a296e9d7a0b15563936f6ed6fe16a992d8b9 /dist.json | |
| parent | 2ef75d9c2e0e5ea6effbe28c49ed8184ad613f53 (diff) | |
database.inc.php: Source settings from settings_local.inc.php if it exists (modelled after GNU MediaGoblin).
Diffstat (limited to 'dist.json')
0 files changed, 0 insertions, 0 deletions
