Fixed a typo
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:41:30 +0000 (18:41 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:41:30 +0000 (18:41 +0200)
commitad616dd7a4c8f181adb594021c4f1affb47a55c8
tree39cb200eb0c533a390a795678e65dcac7eb88f49
parent5799704ea3af4cce1cd89189c11f2727046009e8
Fixed a typo
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java