Adjusted editor to changes made in logic.model
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 15 Jul 2019 14:35:55 +0000 (16:35 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 15 Jul 2019 14:35:55 +0000 (16:35 +0200)

No differences found