On Thu, Apr 04, 2002, Bill Janssen wrote:

> Is there a revised Plucker.def that needs to be checked in?

Plucker.def is created when running configure, so if you do that
everything should be OK.

/Mike

Reply via email to