From 8704edcca2f14c8662affa5a730083949f3f5749 Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Tue, 25 Oct 2022 20:14:06 +0000
Subject: [PATCH] deps: bump ubuntu version (closes #218)
---
assets/js/popover.js | 2 --
1 files changed, 0 insertions(+), 2 deletions(-)
diff --git a/assets/js/popover.js b/assets/js/popover.js
index c7b1165..3d7a30c 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -47,8 +47,6 @@
delimiters: [
{ left: '$$', right: '$$', display: false },
{ left: '$', right: '$', display: false },
- { left: '\\(', right: '\\)', display: false },
- { left: '\\[', right: '\\]', display: false }
],
throwOnError: false
})
--
Gitblit v1.10.0