tree b8ac05f475f8590aae78d5b30b0c25d37525ab07
parent 6d3632a209766b5315cf2d3db3a22c78510d6ff7
author Jack Jansen <jack.jansen@cwi.nl> 955122059 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 955122059 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4015045

Enable multithreading.