Operation void
RemoveOld (), in Class
RACE_Depository
Documentation
deletes the saved Depository
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics
Messages
RemoveOld( )