diff --git a/gui/index.html b/gui/index.html index af2185a45..090b70340 100644 --- a/gui/index.html +++ b/gui/index.html @@ -683,7 +683,7 @@
Quick guide to supported patterns (full documentation):
+Quick guide to supported patterns (full documentation):
!
*