Am Montag, 24. Dezember 2007 11.10:54 schrieb Kevin Wolf: > Der Patch fügt ein kleines readline() hinzu, das einen zumindest > Tippfehler korrigieren läßt ohne alles neu zu schreiben. History gibt es > noch keine. Mit den im IRC besprochenen Änderungen sieht das gut aus.