Changed interface of GUIComponent.getPins()
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Sat, 22 Jun 2019 08:43:15 +0000 (10:43 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Sat, 22 Jun 2019 08:43:15 +0000 (10:43 +0200)

No differences found