diff test/jprt.config @ 13839:5fb138b6a92f

GNFI fixes
author Matthias Grimmer <grimmer@ssw.jku.at>
date Thu, 30 Jan 2014 15:50:46 +0100
parents f08d439fab8c
children
line wrap: on
line diff