From 80cd3c9d6d83798316a1222f3875d3a0e74ca278 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Tue, 3 Dec 2019 14:42:32 +0100 Subject: UI tweaks --- .idea/gradle.xml | 1 + 1 file changed, 1 insertion(+) (limited to '.idea') diff --git a/.idea/gradle.xml b/.idea/gradle.xml index afc8041..031c262 100644 --- a/.idea/gradle.xml +++ b/.idea/gradle.xml @@ -13,6 +13,7 @@ -- cgit v1.2.3