Merge branch 'master' into cleanup_deps

This commit is contained in:
Ettore Di Giacinto 2024-08-21 13:10:46 +02:00 committed by GitHub
commit 2a03905920
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 108 additions and 34 deletions

View file

@ -6,11 +6,7 @@
rel="stylesheet"
href="/static/assets/highlightjs.css"
/>
<script defer src="/static/assets/anime.min.js"></script>
<script
defer
src="/static/assets/highlightjs.js"
></script>
<script defer src="/static/assets/highlightjs.js"></script>
<script
defer
src="/static/assets/alpine.js"