comparison make-dist @ 88102:0fa30755c209

(grep-compute-defaults): Don't mix up defaults for different connections to the same host.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 01 Feb 2008 01:38:32 +0000
parents fa454b3c5b7b
children f38e85dfd4e3
comparison
equal deleted inserted replaced
88101:5297ed06b207 88102:0fa30755c209