tree 729eeea5a53ab1f73f2c8675811ce363ea7a3426
parent 32b2a41c79c17c38e439975c1d34a3778e15bf2f
author David Matějček <dmatej@seznam.cz> 1649690107 +0200
committer David Matějček <dmatej@seznam.cz> 1649795074 +0200

Fixed build_re_dev used on Eclipse's Jenkins

- respecting MVN_EXTRA