From 3fe4851b786a93479614b730890992d797ab4307 Mon Sep 17 00:00:00 2001 From: Daniel Kirschten Date: Thu, 16 May 2019 11:17:54 +0200 Subject: [PATCH] LogicUI improvements --- logicui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/logicui b/logicui index 06b63dbe..283477cf 160000 --- a/logicui +++ b/logicui @@ -1 +1 @@ -Subproject commit 06b63dbefeb991fdb238ff9e7913acd9503318a5 +Subproject commit 283477cfdb204c58ae85de1070a37ff0a999ab4d -- 2.17.1