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)
This is to preserve local changes in case of a re-bootstrap.


No differences found