From 139590d30bd6e17b03ce43b1c61ccd356adb461c Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 18 Mar 2021 16:45:27 +0100 Subject: [PATCH] Make rounded corners optionnal (but default in gwion) --- ast | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ast b/ast index a7540592..fc51a3b6 160000 --- a/ast +++ b/ast @@ -1 +1 @@ -Subproject commit a75405923327ccb7636190044e2b994b26c2a3e7 +Subproject commit fc51a3b651dfc788aeafb9dd8668ed691a24ef79 -- 2.43.0