Playground: Update playground.js

bhch · Dec 2, 2023 · 3446118 · 3446118
1 parent f15751b
commit 3446118
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/static/js/playground.js b/docs/static/js/playground.js