poolman config tweakings
authormh <mh>
Sun, 17 Feb 2002 13:01:52 +0000 (13:01 +0000)
committermh <mh>
Sun, 17 Feb 2002 13:01:52 +0000 (13:01 +0000)
commitc95f48caa4d6bedc0231aaa963834f0e291b6ded
tree34829cb2e97880b537e957083c9e030675275076
parent8965650d20dfe51744fa4127dc814bad0d59045b
poolman config tweakings
source/mir/misc/MirConfig.java