diff runtime/README @ 845:d128381e086e

Only emit finalbody if there is one. Fixes #147.
author Christian Kamm <kamm incasoftware de>
date Sat, 13 Dec 2008 06:48:00 +0100
parents 85e2093edd73
children 2ddee23bd70e
line wrap: on
line diff