Simon Späti
2022-09-14 169ef442b9ae1a61af516edc5c90ff0299d91a25
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
            })