comparison test/jprt.config @ 2051:926f2cf71b62

Small clean up.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Tue, 11 Jan 2011 16:21:22 +0100
parents c18cbe5936b8
children f08d439fab8c
comparison
equal deleted inserted replaced
2050:b6d2c238e585 2051:926f2cf71b62