diff make/jprt.config @ 238:3df2fe7c4451

Merge
author trims
date Fri, 25 Jul 2008 11:29:03 -0700
parents d1605aabd0a1
children 4852f4a82e58
line wrap: on
line diff