first cut of merge of STABLE-pre1_0 into HEAD. I won't even guarantee that it
[mir.git] / build.xml-new
2002-03-05 mhfirst cut of merge of STABLE-pre1_0 into HEAD. I won...