editline(category37-sonstige.html) - phpMan

editrc (5)           - configuration file for editline library