tree 8c167320b9ab3506428d95bf7ceb930f61ee6ec4
parent 7504dfedb43d483a3f53559f94266993013e79ba
author Jack Jansen <jack.jansen@cwi.nl> 1025123718 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1025123718 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4027379

Close the project after generating it, so we don't keep a gazillion project
files open when we're rebuilding them all.