From: Christian Femers <femers@in.tum.de>
Date: Tue, 3 Sep 2019 04:55:04 +0000 (+0200)
Subject: Make plugin work (in an inelegant way, need to figure out extensions
X-Git-Url: https://mograsim.net/gitweb/?a=commitdiff_plain;h=a712f854c6666e2b42a277485f1fd407cf3e72ef;hp=a712f854c6666e2b42a277485f1fd407cf3e72ef;p=Mograsim.git

Make plugin work (in an inelegant way, need to figure out extensions
---