diff config.bat @ 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 42f5a52dbf4b 95d0cdf160ea
line wrap: on
line diff