diff make/jprt.properties @ 10334:7c5a1b62f53d

8014971: Minor code cleanup of the freelist management Reviewed-by: jwilhelm, jmasa, tschatzl
author brutisso
date Wed, 22 May 2013 08:04:58 +0200
parents e76dd894b984
children c81dd5393a5e
line wrap: on
line diff