[root]
Repository:
Repository Listing
root
Revision 37225
Jump to revision:
Author:
rdm
Date:
Fri Dec 3 14:04:30 2010 UTC
(2 years, 9 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