turn off caching again had too many nasty side effects..
authormh <mh>
Wed, 20 Feb 2002 13:30:29 +0000 (13:30 +0000)
committermh <mh>
Wed, 20 Feb 2002 13:30:29 +0000 (13:30 +0000)
commit576045f1fe5df7daa3671ac9e9a173c6881283c1
tree02fb323c5740336ed01fb219a9e6e50a1f5ebab4
parent9be9aae859b6689ed0bb10311128eece0511c809
turn off caching again had too many nasty side effects..
source/mir/misc/MirConfig.java