Re: peek-char problem Marc Nieper-Wißkirchen 18 Jun 2020 05:52 UTC