From 9add6ea43d3470024ba84e8ed454b94423813473 Mon Sep 17 00:00:00 2001 From: David Sherret Date: Tue, 18 Aug 2020 13:29:30 -0400 Subject: [PATCH] Upgrade third_party and dprint plugins. (#7097) --- .dprintrc.json | 6 +++--- third_party | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.dprintrc.json b/.dprintrc.json index c9d56cb423..204bbd1f63 100644 --- a/.dprintrc.json +++ b/.dprintrc.json @@ -25,8 +25,8 @@ "third_party" ], "plugins": [ - "https://plugins.dprint.dev/typescript-0.19.9.wasm", - "https://plugins.dprint.dev/json-0.4.1.wasm", - "https://plugins.dprint.dev/markdown-0.2.4.wasm" + "https://plugins.dprint.dev/typescript-0.29.0.wasm", + "https://plugins.dprint.dev/json-0.7.0.wasm", + "https://plugins.dprint.dev/markdown-0.4.0.wasm" ] } diff --git a/third_party b/third_party index 3662fcf08c..581cc9d4f6 160000 --- a/third_party +++ b/third_party @@ -1 +1 @@ -Subproject commit 3662fcf08cd9608c4da73e0b4033c5a9ea06091b +Subproject commit 581cc9d4f63b0a9032adb8f0617cf64a75b1e4a5