moved db pool initialization to MirConfig completely. Database.jave also
[mir.git] / dbscripts / conversion /
2002-02-02 mh.de conversion scripts