commit | 940dc922c0be94c622d8e2cf1474471397073f4e | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 21:46:40 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 21:46:40 2002 +0000 |
tree | af36d8a5c29fff96c637659964a6337c92a32754 | |
parent | 0fdaee7419c56d0a48abc78a022a049646fa43f9 [diff] |
Build the IDE last, as it may fail because of waste missing.