3 ms·
Honestly I do not remember at all why I put in that script tag. It was something to do with github-pages not supporting HTTPS properly in the past, the details
by lihaoyi 7y ago
Honestly I do not remember at all why I put in that script tag. It was something to do with github-pages not supporting HTTPS properly in the past, the details escape me. I should probably remove it