bootstrap.sh: copy settings.local.php only when it's not already there
authorAntonio Ospite <ao2@ao2.it>
Wed, 25 Oct 2017 16:28:23 +0000 (18:28 +0200)
committerAntonio Ospite <ao2@ao2.it>
Wed, 25 Oct 2017 16:28:23 +0000 (18:28 +0200)
commit1145ee9e3e74f847da8d165b3ef6887bb15e0c7c
treea2ad3438e30f3f2029966a1a1b88edff6d6a692a
parent9fa18898cc15d8d693b0e00508d391a67d219c84
bootstrap.sh: copy settings.local.php only when it's not already there

This is to preserve local changes in case of a re-bootstrap.
libexec/bootstrap.sh