From 5e94213f75cfad964ef81605ca5405ef784edd24 Mon Sep 17 00:00:00 2001 From: Anri Kennel Date: Fri, 22 Sep 2023 11:48:50 +0200 Subject: [PATCH] Actualiser custom.js --- custom.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/custom.js b/custom.js index 0d5caf0..16e571c 100644 --- a/custom.js +++ b/custom.js @@ -1,5 +1,5 @@ window.addEventListener("load", () => { - /* ocamlhljs(); */ + ocamlhljs(); setTimeout(() => checker(3), 500); });