K 10
svn:author
V 8
sheldonh
K 8
svn:date
V 27
1999-10-06T09:20:40.000000Z
K 7
svn:log
V 182
Remove the description of the deprecated savecore_enable option,
which is no longer used.  Expand the description of the dumpdev
option accordingly.

PR:	14152
Reported by:	nrahlstr

END