comparison make/jprt.properties @ 8520:450abf358987

-Bug fix in card marking
author Christos Kotselidis <christos.kotselidis@oracle.com>
date Tue, 26 Mar 2013 12:08:51 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
8519:c91917e43c98 8520:450abf358987