From c9271afaa19f52d6ca5716e54adcb16cbcaf97e2 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Thu, 9 Jul 2020 15:17:05 +0200 Subject: [PATCH] update theme --- theme | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theme b/theme index 8c78d6ca..8e70c768 160000 --- a/theme +++ b/theme @@ -1 +1 @@ -Subproject commit 8c78d6caeb5aa478e3928ad01c158c0060f1f81c +Subproject commit 8e70c7685bf9477f500bbc57f2d2c36072fe7741 -- GitLab