[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Lost] [Patch] readline: add_history()

Am Donnerstag, 27. Dezember 2007 15.11:38 schrieb Kevin Wolf:
> Dieser Patch fügt readline eine einfache History hinzu, die von der
> Shell benutzt wird.

Sieht gut aus.
War ja längst überfällig. ;-)