OK, thank you. I was lost.

Hi, I have installed Pun and I am enjoying its easyness.
Do I have to delete the config.php file after installation or is it secure leaving it in the server?
Thank you.