comparison mx/JUnitWrapper.java @ 9495:6ad0bdcd76aa

make Node.getDebugProperties() final
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 25 Apr 2013 17:09:40 +0200
parents 94d98d334ccd
children f38f746f4980
comparison
equal deleted inserted replaced
9494:82b2a2c652bb 9495:6ad0bdcd76aa