commit | 6f484cb25a2779b685f1a5e584fb1296139b4f5e | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sun Nov 19 21:51:06 2000 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Nov 19 21:51:06 2000 +0000 |
tree | f68c8aeaa2c0cff6789578a04ea127494d46cfb3 | |
parent | 620ec9d1ca1081177066e962fca18c6cf20b8aea [diff] |
Close the project after building it, so that building umpteen projects doesn't keep all the projects open.