diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-11 14:09:18 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-11 14:09:18 +0200 |
| commit | df77d8a5fb5340b23fec5363f9a52704e940b048 (patch) | |
| tree | 1bba838121aa99db9213a939e708464c9a65f38d /COMPILING | |
| parent | f1bdfe81560b110dbf1ee6f5f7fa8c98423ef345 (diff) | |
if critical or-group can't be satisfied, exit directly.
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions