polymake/configure.in: allow specification of location of barvninok
commit3f803ec1d9fcb2eaffa3fa32b3b61296fd5aa15f
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 29 Jun 2006 15:58:43 +0000 (29 17:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 29 Jun 2006 15:58:43 +0000 (29 17:58 +0200)
tree76f20a56b482e23468cd2aed3d85714e04bdd885
parentdfa0457768a0855106e9d16be46160b5240fdf24
polymake/configure.in: allow specification of location of barvninok
polymake/configure.in