doc: barvinok_count no longer performs manual counting.
commit7b24f67891a7e52a65c2db9bbc4080713254fa82
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Jun 2006 15:06:24 +0000 (21 17:06 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Jun 2006 17:21:00 +0000 (21 19:21 +0200)
tree1e393b90e8a96a9a021507a98fb67c62e11fe4f9
parentb62661f05d554ddf12f8666487157f23ef1a45e9
doc: barvinok_count no longer performs manual counting.

See e038931e97f805f1c076267662336f70ff02319b.
doc/Usage.tex