ViewVC logotype

Revision 47020

Jump to revision: Previous Next
Author: alexk
Date: Mon Dec 13 20:25:31 2004 UTC (15 years, 2 months ago)
Changed paths: 1
Log Message:
Made a postcondition of "put_resource" weaker to avoid violations for
different resources with the same name.

Changed paths

Path Details
Directorytrunk/Src/library/preferences/interface/resource_structure.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23