added new parameter -keep-
authorStefan Schubert <schubi@suse.de>
Tue, 7 Nov 2006 15:44:09 +0000 (15:44 +0000)
committerStefan Schubert <schubi@suse.de>
Tue, 7 Nov 2006 15:44:09 +0000 (15:44 +0000)
commit01804f2206605f5fb167534e04cf448d20943059
tree659d9e572e803e26b8c48c18c1c38b3f35ebc5bc
parente25de41e22d34b3478cbc37cc0f3d8be0d8af241
added new parameter -keep-
testsuite/solver/src/deptestomatic.cc