Adapt Editor to new system, removed json duplication
authorChristian Femers <femers@in.tum.de>
Tue, 3 Sep 2019 04:32:48 +0000 (06:32 +0200)
committerChristian Femers <femers@in.tum.de>
Tue, 3 Sep 2019 04:32:48 +0000 (06:32 +0200)

No differences found