diff README @ 6669:7f6823cc5d26

Simple elimination of some partially redundant guards
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 06 Nov 2012 14:26:30 +0100
parents a61af66fc99e
children
line wrap: on
line diff