comparison test/jprt.config @ 18237:6924bb0badc9

mx: set initial value for flag
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 04 Nov 2014 13:08:52 +0100
parents f08d439fab8c
children
comparison
equal deleted inserted replaced
18236:6a05fba906be 18237:6924bb0badc9