K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1997-09-13T16:12:15.000000Z
K 7
svn:log
V 178
Revert the logic behind my last change, and use a function called
`is_physical_memory()' now for the decision whether to dump some
region of memory or not.

Suggested by:	davidg

END