Removed old commented-out code
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:41:47 +0000 (18:41 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:41:47 +0000 (18:41 +0200)
commitaed98de1d858ddea705445a13007c5780659e33b
tree86bab42e349d9a117b583ade69b3e7fa547f014d
parentad616dd7a4c8f181adb594021c4f1affb47a55c8
Removed old commented-out code
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java