/[eiffelstudio]
ViewVC logotype

Revision 91610


Jump to revision: Previous Next
Author: manus_eiffel
Date: Thu Aug 21 22:21:40 2008 UTC (11 years, 3 months ago)
Changed paths: 1
Log Message:
Added obvious missing postconditions to `eif_object_id' and `eif_object_id_free'.


Changed paths

Path Details
DirectoryFreeELKS/trunk/library/support/identified_routines.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23