diff make/jprt.properties @ 4609:a3d74cb39baa

move TypeProfileWidth definition inside the ifndef TIERED block
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 13 Feb 2012 16:04:59 +0100
parents 81f7362f7bed
children d6660fedbab5
line wrap: on
line diff