diff domake @ 1438:a7a0ef3c6858

Added timing printout on VM shutdown.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 25 Oct 2010 18:35:34 +0200
parents 20a3896518ac
children d0c8d3a2a7e8
line wrap: on
line diff