a small bugfix
authoridfx <idfx>
Sun, 16 Mar 2003 16:40:26 +0000 (16:40 +0000)
committeridfx <idfx>
Sun, 16 Mar 2003 16:40:26 +0000 (16:40 +0000)
commitec402db38fd68a8b25f3d669d6748a8dcdf49caa
treec3257e3d65cea717ae42660ad9876c471b76cf23
parent58d560fb58a6aa83da103bf9aad5f779eccaee7c
a small bugfix
source/mir/config/MirPropertiesConfiguration.java