editline(category7-pop3.html) - phpMan

editrc (5)           - configuration file for editline library