comparison runtime/patch-druntime.sh @ 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 9a9f403ab399
children
comparison
equal deleted inserted replaced
844:1a8c6eedd7fd 845:d128381e086e