]> rtime.felk.cvut.cz Git - omk.git/search
Fix performance degradation when W/OMK_WHOLE_TREE is used.