comparison make-dist @ 75761:7eb1181ffb91

Remove file since it is no longer needed (see README for details)
author Glenn Morris <rgm@gnu.org>
date Sat, 10 Feb 2007 22:25:03 +0000
parents 3d45362f1d38
children 69151e6e8613 95d0cdf160ea
comparison
equal deleted inserted replaced
75760:60ed74508594 75761:7eb1181ffb91