| commit | 62180c5a55855f98886ec16e2b287f0107d1714b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 19 Mar 2007 11:09:07 +0000 (19 12:09 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 19 Mar 2007 11:10:14 +0000 (19 12:10 +0100) | ||
| tree | 144e48118c5227e4740b54e844fdc3ca8d029455 | treesnapshot (tar.gz zip) |
| parent | 3ee2d30c5e63600d6ebf59650cbbf001376881a0 | commitdiff |
fix merge of check_poly from verif_ehrhart.c and lexmin.cc
This part was missing from ba897929c2200b16ef1cf3e078240e865327bba1.
This part was missing from ba897929c2200b16ef1cf3e078240e865327bba1.
| edomain.cc | diffblobblamehistory |