| commit | 7504dfedb43d483a3f53559f94266993013e79ba | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:17:02 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:17:02 2002 +0000 |
| tree | 30cd269ce03ad13a5327b614fcda1acf3a57faef | |
| parent | 4439b7c67e057db24067e723f1f553258dfa9d94 [diff] |
- Got rid of non-carbon builds - Use precompiled headers - Rationalize config file names.