diff README @ 13792:9e7acc9cad8e

kill unused frame states when loop exits are removed thanks to Gilles
author Andreas Woess <andreas.woess@jku.at>
date Tue, 28 Jan 2014 23:38:22 +0100
parents a61af66fc99e
children
line wrap: on
line diff