diff README @ 13643:4463c520f475

Keep speculations alive in the speculation log
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 17 Dec 2013 11:55:08 +0100
parents a61af66fc99e
children
line wrap: on
line diff