comparison test/jprt.config @ 18738:2bbe4ecff88c

authors: delete duplicated entry
author Bernhard Urban <bernhard.urban@jku.at>
date Sat, 20 Dec 2014 12:43:59 +0200
parents f08d439fab8c
children
comparison
equal deleted inserted replaced
18737:b1b5bfe4c8a7 18738:2bbe4ecff88c