diff etc/PROBLEMS @ 26322:9d7f261d1841

Reading from mini-buffer reads from stdin if noninteractive.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 03 Nov 1999 12:44:49 +0000
parents e96ffe544684
children a7963e66c555
line wrap: on
line diff