K 10 svn:author V 6 girgen K 8 svn:date V 27 2015-02-07T17:05:07.863586Z K 7 svn:log V 96 Revert the change from readline to libedit, and instead make libedit optional. PR: ports/197362 END