| commit | bf7255fffb5dda1b9541892cc40412bb6bbd4409 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jun 10 10:46:40 2005 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jun 10 10:46:40 2005 +0000 |
| tree | 75fe46c5ccac984d591aba2ba1132303f880ba3c | |
| parent | 52a14c3cdc551d1eb45d2c2de13dd96f41635c86 [diff] |
Minor tweaks, to allow some (out-of-tree, until successful) tinkering with C++.