| commit | bc5e1453417e83411b255523eac9be83764ac47f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:35:18 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:35:18 2002 +0000 |
| tree | 8c167320b9ab3506428d95bf7ceb930f61ee6ec4 | |
| parent | 7504dfedb43d483a3f53559f94266993013e79ba [diff] |
Close the project after generating it, so we don't keep a gazillion project files open when we're rebuilding them all.