Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
Tools
Tools.Install
Tools.Install.Readline

Method Tools.Install.Readline()->edit_filename()


Method edit_filename

string edit_filename(mixed ... args)