# those are created locally (see Installation.md)
db/.bash_history
php/.bash_history
