diff mx/JUnitWrapper.java @ 9278:8cf939b349dd

Frame API: automatically change frame slot type for uninitialized slots
author Andreas Woess <andreas.woess@jku.at>
date Wed, 24 Apr 2013 14:14:22 +0200
parents 94d98d334ccd
children f38f746f4980
line wrap: on
line diff