editline(category24-kurz-tips.html) - phpMan

editrc (5)           - configuration file for editline library