diff --git a/gui/index.html b/gui/index.html index 21256a8a..3512b8c2 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):
!*