lexmin.cc: optionally skip check for empty domains
commit7bdc41cf872e788aaea6c1a5069165334f1cadb7
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 20 Sep 2006 16:29:10 +0000 (20 18:29 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 20 Sep 2006 16:29:10 +0000 (20 18:29 +0200)
tree1940b0019556148c5609f6e400d167c9fc3a5373
parentf2351970bf31852fa0d330e890c56658adab7183
lexmin.cc: optionally skip check for empty domains
barvinok/options.h
lexmin.cc
options.c