Playground: Update playground.js

bhch · Nov 23, 2023 · c67164e · c67164e
1 parent 9ed3f3d
commit c67164e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/static/js/playground.js b/docs/static/js/playground.js