Upgrade the player

asciinema · Jul 3, 2024 · f613411 · f613411
1 parent da31267
commit f613411
Show file tree

Hide file tree

Showing 5 changed files with 2,355 additions and 2,838 deletions.
diff --git a/docs/javascripts/player-3.6.4.min.js b/docs/javascripts/player-3.6.4.min.js
diff --git a/docs/javascripts/player-3.8.0.min.js b/docs/javascripts/player-3.8.0.min.js