diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-13T15·08+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-13T15·08+0000 |
| commit | 2b20701f7895101c8ef8c989fccf702081615120 (patch) | |
| tree | 090d43679fa4d00c3c9113f860d4514c5433a3e4 /externals | |
| parent | 13172427806ad41fb3896c2e3ced1cf9672bb081 (diff) | |
* Better introduction.
* Set notes in a different color than warnings.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions