From 73bf9d1379f7595759d635295ff14c220e56db0d Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Thu, 27 Apr 2023 08:34:38 -0700 Subject: [PATCH] website: add option to disable liga in lab --- docs/lab/index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/lab/index.html b/docs/lab/index.html index feab3d55d..50c4ce8b7 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -208,6 +208,7 @@ if (window.matchMedia('(prefers-color-scheme: dark)').matches) {
Default-on features: +