From 5eaf7c9140e1376c41e89490fb80ae99d2a53886 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