\(\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