Anri/Pinedocs-utils
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Actualiser custom.js

Browse source
This commit is contained in:
Mylloon 2023-09-22 11:48:50 +02:00
parent cca1aa8659
commit 5e94213f75
Signed by: Forgejo
GPG key ID: E72245C752A07631
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
custom.js
View file

@ -1,5 +1,5 @@
window.addEventListener("load", () => { window.addEventListener("load", () => {
/* ocamlhljs(); */ ocamlhljs();
setTimeout(() => checker(3), 500); setTimeout(() => checker(3), 500);
}); });