diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-06T16·08+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-06T16·08+0000 |
| commit | 4cad125e088576035ea8f7955d7770278aa6ed24 (patch) | |
| tree | acb323d7f095f5d954fc4b0bd7c26a2ff16c290a /AUTHORS | |
| parent | 6da6fbfbe940feb807eeef20035d6603448d4d5e (diff) | |
* Optionally warn about packages that give an assertion failure.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions