Thread readline history (11 answers)
Opened by Kuerbis at 2022-06-23 16:23

Kuerbis
 2022-06-24 17:53
#194391 #194391
User since
2011-03-20
938 Artikel
BenutzerIn
[default_avatar]
Vielleicht werde ich die Duplikate doch nicht automatisch entfernen: damit würden beide Möglichkeiten erhalten bleiben.

View full thread readline history