also dump recently added denominator
commit15fcefea6bb5fc98416df360b7d764ec34740fac
authorskimo <skimo>
Wed, 17 Nov 2004 13:45:18 +0000 (17 13:45 +0000)
committerskimo <skimo>
Wed, 17 Nov 2004 13:45:18 +0000 (17 13:45 +0000)
tree4d96ae83343473998166ef11f548e51558913c9e
parent56eab34a5cbff5383eadb2181721272593065129
also dump recently added denominator
barvinok.cc