Added hot replace functionality for modified mpm files
authorFabian Stemmler <stemmler@in.tum.de>
Wed, 2 Oct 2019 01:14:04 +0000 (03:14 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Wed, 2 Oct 2019 01:14:04 +0000 (03:14 +0200)
commit609d5558cc109214ec2ee94ff617c1c82ed1a673
tree6836910059a2334ae1f29bedfa05bf5408963c58
parent5f8f05cd27d2b7663e32093c3e9c542b1af9224b
Added hot replace functionality for modified mpm files
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/launch/MachineLaunchConfigType.java