Jacky Zhao
2022-09-12 e6c7a4e1e2e3b0437b5dbbbeb7abc4e05622db16
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
            })