diff make/jprt.config @ 234:b21425229e0b

Merge
author ohair
date Tue, 08 Jul 2008 15:46:31 -0700
parents a49545cab84a
children d1605aabd0a1
line wrap: on
line diff