fix lint errors

LIPS-scheme · Sep 6, 2023 · 88969da · 88969da
1 parent c8760b6
commit 88969da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/js/bookmark.js b/lib/js/bookmark.js
@@ -5,7 +5,7 @@ javascript:(function(next) {
      * Copyright (C) Jakub T. Jankiewicz <https://jcubic.pl/me>
      * Released under MIT license
      */
-    /* global jQuery, terminal, lips */
+    /* global jQuery, terminal, lips, Prism */
     var orig_jQuery;
     var dolar;
     if (window.jQuery) {