\(\renewcommand{\AA}{\text{Å}}\)

undump command

Syntax

undump dump-ID
  • dump-ID = ID of previously defined dump

Examples

undump mine
undump 2

Description

Turn off a previously defined dump so that it is no longer active. This closes the file associated with the dump.

Restrictions

none

Default

none