diff make/jprt.config @ 484:ffe19141e312

Merge
author jmasa
date Fri, 12 Dec 2008 15:37:46 -0800
parents 4852f4a82e58
children 4961a8a726a4
line wrap: on
line diff