Thread
readline history
(11 answers)
Opened by
Kuerbis
at
2022-06-23 16:23
Kuerbis
2022-06-24 17:53
User since
2011-03-20
951 Artikel
BenutzerIn
Vielleicht werde ich die Duplikate doch nicht automatisch entfernen: damit würden beide Möglichkeiten erhalten bleiben.
View full thread
readline history