next up previous
Next: Forcing Activation of an Up: Implementation Repository Previous: Creating New Entries

Deleting Entries

  imr delete <name>

will delete the entry named <name>.



MICO
Tue Nov 10 11:04:45 CET 1998