diff test/jprt.config @ 2274:360497545e85

Up-to-date with CRI changes.
author Thomas Wuerthinger <thomas.wuerthinger@gmail.com>
date Thu, 03 Mar 2011 19:30:55 +0100
parents c18cbe5936b8
children f08d439fab8c
line wrap: on
line diff