Fixed the MograsimBuilder a bit, but it will likely get removed
authorChristian Femers <femers@in.tum.de>
Thu, 26 Sep 2019 04:57:08 +0000 (06:57 +0200)
committerChristian Femers <femers@in.tum.de>
Thu, 26 Sep 2019 04:57:08 +0000 (06:57 +0200)
commit3f220100b4be4fa162f33b1434b55ce982be7be3
tree519fe6be9032033e3e14bc355fcf3113bc8c1778
parenta007be844bf57d526362c084abd68790692ce2a1
Fixed the MograsimBuilder a bit, but it will likely get removed
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/nature/MograsimBuilder.java