diff test/jprt.config @ 2106:91fe28b03d6a

Merge.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Wed, 26 Jan 2011 18:17:37 +0100
parents c18cbe5936b8
children f08d439fab8c
line wrap: on
line diff