1
0
mirror of https://github.com/privacyguides/privacyguides.org.git synced 2025-07-01 17:22:39 +00:00

Update dependencies (#2289)

This commit is contained in:
2023-10-04 15:02:24 -05:00
parent a85690b306
commit 0a83385de0
8 changed files with 539 additions and 476 deletions

View File

@ -93,7 +93,7 @@ theme:
- search.highlight
extra_css:
- assets/stylesheets/extra.css?v=3.2.0
- assets/stylesheets/extra.css?v=3.15.0
extra_javascript:
- assets/javascripts/mathjax.js
- assets/javascripts/feedback.js