diff make-dist @ 13576:38c6a718abb8

(next-file): Make interactive arg t if had any prefix arg.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Nov 1995 22:27:47 +0000
parents 34c4ee840e09
children 3db84fa28aea
line wrap: on
line diff