Update playground build

bhch · Jul 27, 2023 · 764d9e4 · 764d9e4
1 parent 1d77970
commit 764d9e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/static/js/playground.js b/docs/static/js/playground.js