add linter declaration for BigInt #902

jcubic · Nov 25, 2023 · cb716d7 · cb716d7
1 parent 5a86d95
commit cb716d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -43,7 +43,7 @@
  *
  * Date: {{DATE}}
  */
-/* global define, Map */
+/* global define, Map, BigInt */
 /* eslint-disable */
 /* istanbul ignore next */
 (function(ctx) {