moved db pool initialization to MirConfig completely. Database.jave also
[mir.git] / build.xml-new
2002-01-29 mjFirst release. Works for compiling. Permission not...