From 10d983f1fbcebb4c97bf7bf48cec2c130017010b Mon Sep 17 00:00:00 2001 From: mehbark Date: Mon, 10 Jul 2023 15:02:43 -0400 Subject: [PATCH] fix double 1 in coq wings path --- html/coq.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/coq.tsx b/html/coq.tsx index 50b132c..8647bb1 100644 --- a/html/coq.tsx +++ b/html/coq.tsx @@ -173,7 +173,7 @@ const dialogue = reify_dialogue([ , ], [ - ,