diff Makefile.in @ 11063:f6c97f56c8b6

(write-file): Query if file exists already.
author Richard M. Stallman <rms@gnu.org>
date Sat, 18 Mar 1995 21:51:18 +0000
parents c66a0a2a7bb3
children 91377b178920
line wrap: on
line diff