From 38d37d7c7aa3a485b26fe485a2c31f992cee8cb9 Mon Sep 17 00:00:00 2001 From: alschmiedt Date: Fri, 11 Sep 2020 10:11:43 -0700 Subject: [PATCH] Updates dev tools script to new version (#4273) --- tests/playgrounds/advanced_playground.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/playgrounds/advanced_playground.html b/tests/playgrounds/advanced_playground.html index 1aa392d8c..c97158ba4 100644 --- a/tests/playgrounds/advanced_playground.html +++ b/tests/playgrounds/advanced_playground.html @@ -66,7 +66,7 @@ - +