summaryrefslogtreecommitdiff
path: root/COMPILING
diff options
context:
space:
mode:
authorDavid Kalnischkies <kalnischkies@gmail.com>2011-05-11 14:09:18 +0200
committerDavid Kalnischkies <kalnischkies@gmail.com>2011-05-11 14:09:18 +0200
commitdf77d8a5fb5340b23fec5363f9a52704e940b048 (patch)
tree1bba838121aa99db9213a939e708464c9a65f38d /COMPILING
parentf1bdfe81560b110dbf1ee6f5f7fa8c98423ef345 (diff)
if critical or-group can't be satisfied, exit directly.
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions