diff config.bat @ 86990:215c0c9ff916

Move to ../net.
author Glenn Morris <rgm@gnu.org>
date Sun, 02 Dec 2007 21:50:44 +0000
parents 15154fa4af1a
children 107ccd98fa12 14c4a6aac623
line wrap: on
line diff