]> rtime.felk.cvut.cz Git - omk.git/history - tests/parallel_make/config.omk-default
Merge branch 'master' into devel
[omk.git] / tests / parallel_make / config.omk-default
2008-04-18 Michal SojkaFixed problem with parallel make (-j) caused by the...