LogicUI improvements
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 16 May 2019 09:17:54 +0000 (11:17 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 16 May 2019 09:17:54 +0000 (11:17 +0200)
logicui

diff --git a/logicui b/logicui
index 06b63db..283477c 160000 (submodule)
--- a/logicui
+++ b/logicui
@@ -1 +1 @@
-Subproject commit 06b63dbefeb991fdb238ff9e7913acd9503318a5
+Subproject commit 283477cfdb204c58ae85de1070a37ff0a999ab4d