Revision 37225

Jump to revision:
Author:	rdm
Date:	Fri Dec 3 14:04:30 2010 UTC (2 years, 2 months ago)
Log Message:	From Gerri: remove unused library dependency.

Changed paths:

Path	Details
trunk/proof/proofd/Module.mk	modified , text changed

Subversion Admin	ViewVC Help
Powered by ViewVC 1.0.9