Make this script work again (broken since 2008-01-19).
[gnulib.git] / modules / closein
2007-08-20 Bruno HaibleOptimization: no need to flush stdin if we can determin...
2007-04-12 Eric BlakeWork around glibc's failure to reset seekable stdin...